Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added atac 2 (again);
authorwenzelm
Fri, 07 Mar 1997 15:05:21 +0100
changeset 2764 d56b5df57d73
parent 2763 b3a03fc4deee
child 2765 a4afcfed261c
added atac 2 (again);
src/HOLCF/Fix.ML file | annotate | diff | comparison | revisions 
--- 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,
isabelle