--- a/src/HOL/IMPP/EvenOdd.thy Thu May 04 15:14:56 2000 +0200
+++ b/src/HOL/IMPP/EvenOdd.thy Thu May 04 15:15:37 2000 +0200
@@ -9,7 +9,7 @@
EvenOdd = Misc +
constdefs even :: nat => bool
- "even n == 2 dvd n"
+ "even n == #2 dvd n"
consts
Even, Odd :: pname