Commit 76c6fe08 authored by Michael Kohlhase's avatar Michael Kohlhase

debugging

parent 05b7f737
......@@ -13,6 +13,7 @@
\symdef{nalphaeq}[2]{\infix[p=300]\nalphaeqRel{#1}{#2}}
\symtest{nalphaeq}{\nalphaeq{a}b}
\symii{alphabetic}{variant}
\symi{variant}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
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