# HG changeset patch
# User oheimb
# Date 842544333 -7200
# Node ID 51935901c2396370ee37d652efef960df55d6588
# Parent  9e23119c0219e669ea39c404dddcc6f8a90da984
renamed adm_disj_lemma11 to adm_lemma11

diff -r 9e23119c0219 -r 51935901c239 src/HOLCF/explicit_domains/Stream.ML
--- a/src/HOLCF/explicit_domains/Stream.ML	Thu Sep 12 17:28:06 1996 +0200
+++ b/src/HOLCF/explicit_domains/Stream.ML	Thu Sep 12 18:05:33 1996 +0200
@@ -684,7 +684,7 @@
         [
         (cut_facts_tac prems 1),
         (rtac (stream_reach2 RS subst) 1),
-        (rtac adm_disj_lemma11 1),
+        (rtac adm_lemma11 1),
         (atac 1),
         (atac 2),
         (rewtac stream_take_def),