1
%
2
\begin{isabellebody}%
3
\def\isabellecontext{Documents}%
4
\isamarkupfalse%
5
6
\end{isabellebody}%
7
%%% Local Variables:
8
%%% mode: latex
9
%%% TeX-master: "root"
10
%%% End: