--- a/src/HOLCF/ex/Fix2.ML Tue Sep 06 19:22:31 2005 +0200 +++ b/src/HOLCF/ex/Fix2.ML Tue Sep 06 19:28:58 2005 +0200 @@ -17,5 +17,3 @@ by (rtac (lemma1 RS subst) 1); by (rtac fix_def2 1); qed "lemma2"; - -