
diff -r 41f6be79b44f -r 325ead6d9457 doc-src/TutorialI/Misc/document/case_exprs.tex
--- a/doc-src/TutorialI/Misc/document/case_exprs.tex	Wed Oct 18 23:44:52 2000 +0200
+++ b/doc-src/TutorialI/Misc/document/case_exprs.tex	Wed Oct 18 23:58:07 2000 +0200
@@ -1,6 +1,6 @@
 %
 \begin{isabellebody}%
-\def\isabellecontext{case_exprs}%
+\def\isabellecontext{case{\isacharunderscore}exprs}%
 %
 \isamarkupsubsection{Case expressions}
 %




