--- a/src/HOL/OrderedGroup.thy Sat Mar 29 19:13:58 2008 +0100
+++ b/src/HOL/OrderedGroup.thy Sat Mar 29 19:14:00 2008 +0100
@@ -1421,7 +1421,7 @@
end);
*}
-ML_setup {*
+ML {*
Addsimprocs [ab_group_add_cancel.sum_conv, ab_group_add_cancel.rel_conv];
*}