changeset 10267 | 325ead6d9457 |
parent 10187 | 0376cccd9118 |
child 10395 | 7ef380745743 |
--- 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} %