src/HOL/Datatype_Universe.ML
2002-10-10 berghofe 2002-10-10 Removed obsolete function "Funs".
2001-10-05 wenzelm 2001-10-05 sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, "num" syntax (still with "#"), Numeral0, Numeral1;
2001-08-07 berghofe 2001-08-07 Eliminated dependency of Funs_rangeE on SOME.
2001-08-06 nipkow 2001-08-06 turned translation for 1::nat into def. introduced 1' and replaced most occurrences of 1 by 1'.
2001-01-16 wenzelm 2001-01-16 renamed Abs_Node_inject to Abs_Node_inj;
2001-01-10 paulson 2001-01-10 generalizing the LEAST theorems from "nat" to linear orderings and wellorderings
2000-10-12 nipkow 2000-10-12 *** empty log message ***