src/ZF/Order.thy
1995-12-09 ago removed quotes from consts and syntax sections
1995-06-22 ago removed \...\ inside strings
1994-12-14 ago added constants mono_map, ord_iso_map
1994-08-25 ago ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without
1994-06-21 ago Addition of cardinals and order types, various tidying