Commit d14deb6b authored by Michael Kohlhase's avatar Michael Kohlhase

deubg

parent d216309b
\begin{modsig}[creators=miko]{abstract-reduction-system}
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment