doc-src/TutorialI/ToyList/document/ToyList.tex

--- 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