src/HOL/OrderedGroup.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-30 paulson 2004-07-30 conversion of Integration and NSPrimes to Isar scripts
2004-06-29 kleing 2004-06-29 license change to BSD
2004-05-21 wenzelm 2004-05-21 removed duplicate thms;
2004-05-18 obua 2004-05-18 Modification / Installation of Provers/Arith/abel_cancel.ML for OrderedGroup.thy
2004-05-11 obua 2004-05-11 changes made due to new Ring_and_Field theory