src/HOL/Orderings.ML
2005-04-21 nipkow 2005-04-21 tuning locales
2005-04-20 nipkow 2005-04-20 Used locale interpretations everywhere.
2005-02-10 nipkow 2005-02-10 Moved oderings from HOL into the new Orderings.thy