%
\begin{isabellebody}%
\def\isabellecontext{simp}%
\isanewline
\isacommand{theory}\ simp\ {\isacharequal}\ Main{\isacharcolon}\isanewline
\isanewline
\isacommand{end}\isanewline
\end{isabellebody}%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "root"
%%% End:
