changeset 17187 | 45bee2f6e61f |
parent 17181 | 5f42dd5e6570 |
child 25056 | 743f3603ba8b |
--- a/doc-src/TutorialI/Types/document/Records.tex Mon Aug 29 16:18:07 2005 +0200 +++ b/doc-src/TutorialI/Types/document/Records.tex Mon Aug 29 16:25:24 2005 +0200 @@ -1,7 +1,6 @@ % \begin{isabellebody}% \def\isabellecontext{Records}% -\isamarkupfalse% % \isamarkupheader{Records \label{sec:records}% }