Commit 17bd67b5 authored by Michael Kohlhase's avatar Michael Kohlhase

debugging

parent f2770a03
......@@ -2,8 +2,8 @@
\gimport[smglom/sets]{transitive-closure}
\gimport[smglom/mv]{structure}
\symdef[name=arsconv]{arsconvOp}{\mathrel\rightarrow}
\symvariant{arsconvOp}{1}{\rightarrow^1}
\symdef[name=reduction-relation]{arsconvOp}{\mathrel\rightarrow}
\symvariant[name=reduction-relation]{arsconvOp}{1}{\rightarrow^1}
\symdef[name=reduction-relation]{arsconv}[2]{\infix[p=300]{\arsconvOp}{#1}{#2}}
\symtest{arsconv}{\arsconv{A}B}
......@@ -18,8 +18,8 @@
\symvariant{arsRconv}[3]{1}{\infix[p=300]{\arsRconvOp[1]{#1}}{#2}{#3}}
\symtest[variant=1]{arsRconv}{\arsRconv[1]{R}AB}
\symdef{arsconvtrOp}{\mathrel{\rightarrow^*}}
\symdef[name=transitive-closure]{arsconvtr}[2]{\infix[p=300]{\arsconvtrOp}{#1}{#2}}
\symdef[noverb]{arsconvtrOp}{\mathrel{\rightarrow^*}}
\symdef[noverb,name=transitive-closure]{arsconvtr}[2]{\infix[p=300]{\arsconvtrOp}{#1}{#2}}
\symtest{arsconvtr}{\arsconvtr{A}B}
\symdef[noverb,name=arsRconvtr]{arsRconvtrOp}[1]{\mathrel{\rightarrow_{#1}^*}}
......
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