--- a/src/HOLCF/Pcpo.ML Mon Nov 03 12:36:48 1997 +0100
+++ b/src/HOLCF/Pcpo.ML Mon Nov 03 14:06:27 1997 +0100
@@ -56,7 +56,7 @@
safe_tac (HOL_cs addSIs [antisym_less]),
fast_tac (HOL_cs addSEs [chain_mono3]) 1,
dtac sym 1,
- fast_tac ((HOL_cs addSEs [is_ub_thelub]) addss !simpset) 1
+ fast_tac ((HOL_cs addSEs [is_ub_thelub]) addss simpset()) 1
]);
@@ -314,7 +314,7 @@
[
cut_facts_tac prems 1,
fast_tac (HOL_cs addss
- (!simpset addsimps [chfin,finite_chain_def])) 1
+ (simpset() addsimps [chfin,finite_chain_def])) 1
]);
(* ------------------------------------------------------------------------ *)