isabelle: File revisions

src/HOL/Datatype.thy

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

isabelle