--- a/src/HOLCF/Fix.ML Mon Sep 08 10:12:28 1997 +0200
+++ b/src/HOLCF/Fix.ML Tue Sep 09 11:14:20 1997 +0200
@@ -912,8 +912,3 @@
adm_iff];
Addsimps adm_lemmas;
-
-use"adm.ML";
-
-simpset := !simpset addSolver(fn thms =>
- (adm_tac (cut_facts_tac thms THEN' cont_tacRs)));