--- a/src/FOL/ex/NatClass.thy Tue Sep 06 16:29:39 2005 +0200
+++ b/src/FOL/ex/NatClass.thy Tue Sep 06 16:59:48 2005 +0200
@@ -34,6 +34,6 @@
"m + n == rec(m, n, %x y. Suc(y))"
ML {* use_legacy_bindings (the_context ()) *}
-ML {* open nat *}
+ML {* open nat_class *}
end