changeset 1991 | 51935901c239 |
parent 1675 | 36ba4da350c3 |
child 2033 | 639de962ded4 |
--- 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),