changeset 9924 | 3370f6aa3200 |
parent 9792 | bbefb6ce5cb2 |
child 10171 | 59d6633835fa |
--- a/doc-src/TutorialI/ToyList/document/ToyList.tex Mon Sep 11 17:59:53 2000 +0200 +++ b/doc-src/TutorialI/ToyList/document/ToyList.tex Mon Sep 11 18:00:47 2000 +0200 @@ -1,5 +1,6 @@ % \begin{isabellebody}% +\def\isabellecontext{ToyList}% \isacommand{theory}\ ToyList\ {\isacharequal}\ PreList{\isacharcolon}% \begin{isamarkuptext}% \noindent