diff -r 5c9d3a63e9ff -r 1ea4a45b9412 src/HOLCF/HOLCF.ML
--- a/src/HOLCF/HOLCF.ML	Mon Sep 08 10:12:28 1997 +0200
+++ b/src/HOLCF/HOLCF.ML	Tue Sep 09 11:14:20 1997 +0200
@@ -6,4 +6,9 @@
 
 open HOLCF;
 
+use"adm.ML";
+
+simpset := !simpset addSolver(fn thms =>
+            (adm_tac (cut_facts_tac thms THEN' cont_tacRs)));
+
 val HOLCF_ss = !simpset;