changeset 13601 | fd3e3d6b37b2 |
parent 13454 | 01e2496dee05 |
child 14171 | 0cab06e3bbd0 |
--- a/src/HOLCF/ex/Stream.ML Mon Sep 30 16:12:16 2002 +0200 +++ b/src/HOLCF/ex/Stream.ML Mon Sep 30 16:14:02 2002 +0200 @@ -423,7 +423,6 @@ by (auto_tac (claset(), simpset() delsimps [thm "iSuc_Fin"] addsimps [thm "iSuc_Fin" RS sym, thm "iSuc_mono"])); by (dtac sym 1); -by (rotate_tac 2 2); by Auto_tac; qed "slen_scons_eq";