src/HOL/Datatype_Universe.ML
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 ***