% \begin{isabellebody}% \def\isabellecontext{Documents}% \isamarkupfalse% \isamarkupfalse% \end{isabellebody}% %%% Local Variables: %%% mode: latex %%% TeX-master: "root" %%% End: