isabelle: File revisions

src/ZF/Inductive.thy

2005-06-17	haftmann	migrated theory headers to new format	file \| diff \| annotate
2002-07-14	paulson	Removal of mono.thy	file \| diff \| annotate
2002-07-14	paulson	improved presentation markup	file \| diff \| annotate
2002-06-29	paulson	conversion of many files to Isar format	file \| diff \| annotate
2001-12-05	wenzelm	tuned declarations;	file \| diff \| annotate
2001-11-15	wenzelm	setup DatatypeTactics.setup;	file \| diff \| annotate
2001-11-14	wenzelm	adapted primrec/datatype to Isar;	file \| diff \| annotate
2001-11-13	wenzelm	rearranged inductive package for Isar;	file \| diff \| annotate
2000-08-01	paulson	natify, a coercion to reduce the number of type constraints in arithmetic	file \| diff \| annotate
1998-12-28	paulson	new inductive, datatype and primrec packages, etc.	file \| diff \| annotate
1997-04-02	paulson	Now a non-trivial theory so that require_thy can find it	file \| diff \| annotate
1994-12-19	lcp	added true theory dependencies	file \| diff \| annotate
1994-08-25	lcp	ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without	file \| diff \| annotate

isabelle