src/HOL/Orderings.thy
2005-02-10 nipkow 2005-02-10 Moved oderings from HOL into the new Orderings.thy