isabelle: File revisions

src/HOL/Induct/ABexp.thy

2014-11-02	wenzelm	2014-11-02	modernized header uniformly as section;	file \| diff \| annotate
2014-09-11	blanchet	2014-09-11	updated news	file \| diff \| annotate
2014-09-09	blanchet	2014-09-09	use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries	file \| diff \| annotate
2012-03-14	wenzelm	2012-03-14	misc tuning;	file \| diff \| annotate
2010-09-08	haftmann	2010-09-08	modernized primrec	file \| diff \| annotate
2010-05-12	wenzelm	2010-05-12	removed obsolete CVS Ids;	file \| diff \| annotate
2005-06-17	haftmann	2005-06-17	migrated theory headers to new format	file \| diff \| annotate
2004-06-21	kleing	2004-06-21	Merged in license change from Isabelle2004	file \| diff \| annotate
2001-11-13	wenzelm	2001-11-13	tuned inductions;	file \| diff \| annotate
2001-10-01	wenzelm	2001-10-01	tuned;	file \| diff \| annotate
2001-02-03	wenzelm	2001-02-03	Induct: converted some theories to new-style format;	file \| diff \| annotate
1998-11-05	nipkow	1998-11-05	Shortened names and added new thm.	file \| diff \| annotate
1998-10-23	berghofe	1998-10-23	New example for using the datatype package: Arithmetic and boolean expressions.	file \| diff \| annotate

isabelle