src/HOL/Lattice_Locales.thy
2005-04-21 nipkow 2005-04-21 tuning locales
2005-02-10 nipkow 2005-02-10 Moved oderings from HOL into the new Orderings.thy
2005-02-09 nipkow 2005-02-09 New