diff -r fe13743ffc8b -r 3370f6aa3200 doc-src/TutorialI/Misc/document/simp.tex
--- a/doc-src/TutorialI/Misc/document/simp.tex	Mon Sep 11 17:59:53 2000 +0200
+++ b/doc-src/TutorialI/Misc/document/simp.tex	Mon Sep 11 18:00:47 2000 +0200
@@ -0,0 +1,12 @@
+%
+\begin{isabellebody}%
+\def\isabellecontext{simp}%
+\isanewline
+\isacommand{theory}\ simp\ {\isacharequal}\ Main{\isacharcolon}\isanewline
+\isanewline
+\isacommand{end}\isanewline
+\end{isabellebody}%
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "root"
+%%% End: