src/HOL/LOrder.thy
2005-02-10 nipkow 2005-02-10 Moved oderings from HOL into the new Orderings.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-06-29 kleing 2004-06-29 license change to BSD
2004-05-11 obua 2004-05-11 changes made due to new Ring_and_Field theory