
diff -r 3d3d24186352 -r 3078fd2eec7b src/HOL/ex/Abstract_NAT.thy
--- a/src/HOL/ex/Abstract_NAT.thy	Wed Sep 06 10:01:27 2006 +0200
+++ b/src/HOL/ex/Abstract_NAT.thy	Wed Sep 06 13:48:02 2006 +0200
@@ -11,6 +11,8 @@
 
 text {* Axiomatic Natural Numbers (Peano) -- a monomorphic theory. *}
 
+hide (open) const succ
+
 locale NAT =
   fixes zero :: 'n
     and succ :: "'n \<Rightarrow> 'n"




