--- a/src/HOL/NatBin.thy Wed Mar 19 22:47:39 2008 +0100
+++ b/src/HOL/NatBin.thy Wed Mar 19 22:50:42 2008 +0100
@@ -625,7 +625,7 @@
ML
{*
-val numeral_ss = simpset() addsimps @{thms numerals};
+val numeral_ss = @{simpset} addsimps @{thms numerals};
val nat_bin_arith_setup =
LinArith.map_data