src/HOL/Typedef.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-10-26 berghofe 2004-10-26 Added setup for code generator.
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2002-07-24 wenzelm 2002-07-24 simplified locale predicates;
2002-07-24 wenzelm 2002-07-24 predicate defs via locales;
2001-11-03 wenzelm 2001-11-03 tuned;
2001-10-30 wenzelm 2001-10-30 lemma Least_mono moved from Typedef.thy to Set.thy;
2001-10-28 wenzelm 2001-10-28 converted theory "Set";
2001-10-14 wenzelm 2001-10-14 moved rulify to ObjectLogic;
2001-10-13 wenzelm 2001-10-13 tuned;
2001-10-03 wenzelm 2001-10-03 Tools/induct_attrib.ML now part of Pure;
2001-10-03 wenzelm 2001-10-03 moved linorder_cases to theory Ord;
2001-09-27 wenzelm 2001-09-27 renamed theory "subset" to "Typedef";