--- a/src/HOLCF/Fix.ML Wed May 18 23:29:36 2005 +0200
+++ b/src/HOLCF/Fix.ML Wed May 18 23:49:52 2005 +0200
@@ -64,11 +64,6 @@
val adm_disj_lemma5 = thm "adm_disj_lemma5";
val adm_disj_lemma6 = thm "adm_disj_lemma6";
val adm_disj_lemma7 = thm "adm_disj_lemma7";
-val adm_disj_lemma8 = thm "adm_disj_lemma8";
-val adm_disj_lemma9 = thm "adm_disj_lemma9";
-val adm_disj_lemma10 = thm "adm_disj_lemma10";
-val adm_disj_lemma12 = thm "adm_disj_lemma12";
-val adm_lemma11 = thm "adm_lemma11";
val adm_disj = thm "adm_disj";
val adm_imp = thm "adm_imp";
val adm_iff = thm "adm_iff";