src/HOL/Typedef.thy
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";