src/HOL/Orderings.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-05-31 wenzelm 2005-05-31 tuned;
2005-05-11 nipkow 2005-05-11 Added thms by Brian Huffmann
2005-04-25 ballarin 2005-04-25 Subsumption of locale interpretations.
2005-04-23 wenzelm 2005-04-23 _gt, _gt: syntax instead of consts;
2005-04-21 nipkow 2005-04-21 tuning locales
2005-04-20 nipkow 2005-04-20 Used locale interpretations everywhere.
2005-03-24 ballarin 2005-03-24 Transitivity reasoner ignores types amenable to linear arithmetic. These are currently nat, int, real. Fixed IsaMakefile.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-02-10 nipkow 2005-02-10 Moved oderings from HOL into the new Orderings.thy