--- a/src/HOL/OrderedGroup.thy Wed Nov 15 17:05:40 2006 +0100
+++ b/src/HOL/OrderedGroup.thy Wed Nov 15 17:05:41 2006 +0100
@@ -7,7 +7,7 @@
header {* Ordered Groups *}
theory OrderedGroup
-imports Set LOrder
+imports LOrder
uses "~~/src/Provers/Arith/abel_cancel.ML"
begin