--- a/src/HOLCF/Fix.ML Tue Sep 02 17:02:02 1997 +0200
+++ b/src/HOLCF/Fix.ML Wed Sep 03 16:24:46 1997 +0200
@@ -912,3 +912,8 @@
adm_iff];
Addsimps adm_lemmas;
+
+use"adm";
+
+simpset := !simpset addSolver(fn thms =>
+ (adm_tac (cut_facts_tac thms THEN' cont_tacRs)));