| changeset 5291 | 5706f0ef1d43 |
| parent 4721 | c8a8482a8124 |
| child 9169 | 85a47aa21f74 |
--- a/src/HOLCF/ex/Stream.ML Mon Aug 10 17:06:02 1998 +0200 +++ b/src/HOLCF/ex/Stream.ML Wed Aug 12 12:17:20 1998 +0200 @@ -77,7 +77,7 @@ qed_goal "stream_when_strictf" thy "stream_when`UU`s=UU" (fn _ => [ stream_case_tac "s" 1, - ALLGOALS(asm_simp_tac (HOL_ss addsimps strict_fapp1::stream.when_rews)) + ALLGOALS(asm_simp_tac (HOL_ss addsimps strict_Rep_CFun1::stream.when_rews)) ]);