src/HOL/Datatype.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-12-04 nipkow 2003-12-04 hide Push
2003-09-26 paulson 2003-09-26 misc tidying
2003-09-14 nipkow 2003-09-14 Added new theorems
2002-10-10 berghofe 2002-10-10 Added functions Suml and Sumr which are useful for constructing datatypes involving function types.
2002-02-21 wenzelm 2002-02-21 theory Option has been assimilated by Datatype;
2001-11-03 wenzelm 2001-11-03 tuned;
2001-10-27 wenzelm 2001-10-27 made new-style theory; tuned;
2000-10-12 nipkow 2000-10-12 *** empty log message ***
1998-10-23 berghofe 1998-10-23 unit and bool are now represented as datatypes.
1998-10-21 berghofe 1998-10-21 Changed syntax of rep_datatype.
1998-07-24 berghofe 1998-07-24 New theory Datatype. Needed as an ancestor when defining datatypes.