--- a/src/HOL/Integ/Integ.thy Fri Feb 14 10:41:02 1997 +0100
+++ b/src/HOL/Integ/Integ.thy Fri Feb 14 10:57:17 1997 +0100
@@ -19,9 +19,6 @@
constdefs
- zNat :: nat set
- "zNat == {x::nat. True}"
-
znat :: nat => int ("$# _" [80] 80)
"$# m == Abs_Integ(intrel ^^ {(m,0)})"