--- a/doc-src/TutorialI/Misc/natsum.thy Fri Jul 28 13:04:59 2000 +0200
+++ b/doc-src/TutorialI/Misc/natsum.thy Fri Jul 28 16:02:51 2000 +0200
@@ -21,7 +21,7 @@
lemma "sum n + sum n = n*(Suc n)";
apply(induct_tac n);
-apply(auto).;
+by(auto);
(*<*)
end