Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/explicit_domains/Stream.ML
changeset 2277 9174de6c7143
parent 2033 639de962ded4
child 2421 a07181dd2118 
--- a/src/HOLCF/explicit_domains/Stream.ML	Fri Nov 29 12:16:57 1996 +0100
+++ b/src/HOLCF/explicit_domains/Stream.ML	Fri Nov 29 12:17:30 1996 +0100
@@ -52,7 +52,7 @@
         (res_inst_tac [("p","stream_rep`s")] sprodE 1),
         (asm_simp_tac (!simpset addsimps stream_rews) 1),
         (Asm_simp_tac  1),
-        (res_inst_tac [("p","y")] liftE1 1),
+        (res_inst_tac [("p","y")] upE1 1),
         (contr_tac 1),
         (rtac disjI2 1),
         (rtac exI 1),
isabelle