src/HOL/Algebra/abstract/order.ML
2005-04-07 wenzelm 2005-04-07 reverted renaming of Some/None in comments and strings;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2003-01-23 ballarin 2003-01-23 Fixed term order for normal form in rings.
2002-11-29 ballarin 2002-11-29 Incompatibility with SML/NJ fixed.
2002-11-28 ballarin 2002-11-28 HOL-Algebra partially ported to Isar.