src/HOL/OrderedGroup.thy
changeset 19798 94f12468bbba
parent 19527 9b5c38e8e780
child 21245 23e6eb4d0975
     1.1 --- a/src/HOL/OrderedGroup.thy	Tue Jun 06 20:42:27 2006 +0200
     1.2 +++ b/src/HOL/OrderedGroup.thy	Tue Jun 06 20:42:28 2006 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  theory OrderedGroup
     1.6  imports Inductive LOrder
     1.7 -uses "../Provers/Arith/abel_cancel.ML"
     1.8 +uses "~~/src/Provers/Arith/abel_cancel.ML"
     1.9  begin
    1.10  
    1.11  text {*