# HG changeset patch
# User wenzelm
# Date 857743521 -3600
# Node ID d56b5df57d73e8acab8630e79d072edd012d0c11
# Parent  b3a03fc4deee5a3b5cd4636fbee3311278e655d1
added atac 2 (again);

diff -r b3a03fc4deee -r d56b5df57d73 src/HOLCF/Fix.ML
--- a/src/HOLCF/Fix.ML	Fri Mar 07 15:05:00 1997 +0100
+++ b/src/HOLCF/Fix.ML	Fri Mar 07 15:05:21 1997 +0100
@@ -1100,6 +1100,7 @@
  (fn prems =>
         [
         safe_tac (HOL_cs addSIs [lub_equal2,adm_disj_lemma3]),
+        atac 2,
         asm_simp_tac (!simpset setloop (split_tac[expand_if])) 1,
         res_inst_tac [("x","i")] exI 1,
         strip_tac 1,