author | blanchet |
Thu, 19 Apr 2012 17:49:08 +0200 | |
changeset 47606 | 06dde48a1503 |
parent 47269 | 29aa0c071875 |
permissions | -rw-r--r-- |
% \begin{isabellebody}% \def\isabellecontext{LaTeXsugar}% % \isadelimtheory \isanewline % \endisadelimtheory % \isatagtheory % \endisatagtheory {\isafoldtheory}% % \isadelimtheory % \endisadelimtheory % \isadelimtheory % \endisadelimtheory % \isatagtheory % \endisatagtheory {\isafoldtheory}% % \isadelimtheory % \endisadelimtheory \end{isabellebody}% %%% Local Variables: %%% mode: latex %%% TeX-master: "root" %%% End: