doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Sun Nov 26 11:37:49 2000 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Mon Nov 27 10:38:43 2000 +0100
@@ -1,6 +1,6 @@
 \documentclass{article}
 \newif\ifremarks
-\remarksfalse          %TRUE causes remarks to be displayed (as marginal notes)
+\remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)
 \usepackage{cl2emono-modified,isabelle,isabellesym}
 \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment}
 \usepackage{proof,amsmath}