src/HOL/Orderings.ML
2006-11-07 haftmann 2006-11-07 made locale partial_order compatible with axclass order; changed import order; consecutive changes
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