1.1 --- a/src/HOL/Integ/IntDef.thy Fri Oct 05 21:50:37 2001 +0200
1.2 +++ b/src/HOL/Integ/IntDef.thy Fri Oct 05 21:52:39 2001 +0200
1.3 @@ -35,7 +35,7 @@
1.4
1.5 defs (*of overloaded constants*)
1.6
1.7 - Zero_def "0 == int 0"
1.8 + Zero_int_def "0 == int 0"
1.9
1.10 zadd_def
1.11 "z + w ==