src/HOL/Library/Order_Relation.thy
2009-03-23 haftmann 2009-03-23 tuned header
2009-03-02 nipkow 2009-03-02 name changes
2009-02-11 nipkow 2009-02-11 Moved Order_Relation into Library and moved some of it into Relation.
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-05-07 berghofe 2008-05-07 Adapted to encoding of sets as predicates
2008-03-17 nipkow 2008-03-17 reorganization
2008-03-17 nipkow 2008-03-17 More defns and thms
2008-03-14 nipkow 2008-03-14 Orders as relations