abs_eq_0: #0 instead of 0;

--- a/src/HOL/Integ/IntArith.ML	Sat Nov 18 19:45:05 2000 +0100
+++ b/src/HOL/Integ/IntArith.ML	Sat Nov 18 19:45:37 2000 +0100
@@ -108,7 +108,7 @@
 by (simp_tac (simpset () addsplits [zabs_split] addsimps [zmult_less_0_iff, zle_def]) 1);
 qed "abs_mult";
 
-Goal "(abs x = 0) = (x = (0::int))";
+Goal "(abs x = #0) = (x = (#0::int))";
 by (simp_tac (simpset () addsplits [zabs_split]) 1);
 qed "abs_eq_0";
 AddIffs [abs_eq_0];