--- 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;