Deleted a useless definition
authorpaulson
Fri Feb 14 10:57:17 1997 +0100 (1997-02-14)
changeset 261815451c558a32
parent 2617 b94dadf5b6be
child 2619 3fd774ee405a
Deleted a useless definition
src/HOL/Integ/Integ.thy
     1.1 --- a/src/HOL/Integ/Integ.thy	Fri Feb 14 10:41:02 1997 +0100
     1.2 +++ b/src/HOL/Integ/Integ.thy	Fri Feb 14 10:57:17 1997 +0100
     1.3 @@ -19,9 +19,6 @@
     1.4  
     1.5  constdefs
     1.6  
     1.7 -  zNat        :: nat set
     1.8 -  "zNat == {x::nat. True}"
     1.9 -
    1.10    znat        :: nat => int                                  ("$# _" [80] 80)
    1.11    "$# m == Abs_Integ(intrel ^^ {(m,0)})"
    1.12