dropped dependency on sets
authorhaftmann
Wed Nov 15 17:05:41 2006 +0100 (2006-11-15)
changeset 21382d71aed9286d3
parent 21381 79e065f2be95
child 21383 17e6275e13f5
dropped dependency on sets
src/HOL/OrderedGroup.thy
     1.1 --- a/src/HOL/OrderedGroup.thy	Wed Nov 15 17:05:40 2006 +0100
     1.2 +++ b/src/HOL/OrderedGroup.thy	Wed Nov 15 17:05:41 2006 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  header {* Ordered Groups *}
     1.5  
     1.6  theory OrderedGroup
     1.7 -imports Set LOrder
     1.8 +imports LOrder
     1.9  uses "~~/src/Provers/Arith/abel_cancel.ML"
    1.10  begin
    1.11