src/HOL/OrderedGroup.thy
changeset 26480 544cef16045b
parent 26071 046fe7ddfc4b
child 27250 7eef2b183032
     1.1 --- a/src/HOL/OrderedGroup.thy	Sat Mar 29 19:13:58 2008 +0100
     1.2 +++ b/src/HOL/OrderedGroup.thy	Sat Mar 29 19:14:00 2008 +0100
     1.3 @@ -1421,7 +1421,7 @@
     1.4  end);
     1.5  *}
     1.6  
     1.7 -ML_setup {*
     1.8 +ML {*
     1.9    Addsimprocs [ab_group_add_cancel.sum_conv, ab_group_add_cancel.rel_conv];
    1.10  *}
    1.11