# HG changeset patch
# User haftmann
# Date 1163606741 -3600
# Node ID d71aed9286d38f061c72cc0d43f0139df5e4f50d
# Parent  79e065f2be9500ec62b5a6cee488fa2b5e5064d1
dropped dependency on sets

diff -r 79e065f2be95 -r d71aed9286d3 src/HOL/OrderedGroup.thy
--- 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