src/ZF/Arith.thy

--- a/src/ZF/Arith.thy	Tue May 28 11:06:55 2002 +0200
+++ b/src/ZF/Arith.thy	Tue May 28 11:07:36 2002 +0200
@@ -497,7 +497,6 @@
 val div_def = thm "div_def";
 val mod_def = thm "mod_def";
 
-val zero_lt_lemma = thm "zero_lt_lemma";
 val zero_lt_natE = thm "zero_lt_natE";
 val pred_succ_eq = thm "pred_succ_eq";
 val natify_succ = thm "natify_succ";