Commit 3329f0de authored by Michael Kohlhase's avatar Michael Kohlhase

fixing the tr-relation

parent 9b5cd847
......@@ -18,21 +18,13 @@
\symvariant{arsRconv}[3]{1}{\infix[p=300]{\arsRconvOp[1]{#1}}{#2}{#3}}
\symtest[variant=1]{arsRconv}{\arsRconv[1]{R}AB}
\symdef[name=arsconvtr]{arsconvtrOp}{\rightarrow}
\symvariant{arsconvtrOp}{1}{\rightarrow^1}
\symdef[name=arsconvtr]{arsconvtrOp}{\rightarrow^*}
\symdef{arsconvtr}[2]{\infix[p=300]{\arsconvtrOp}{#1}{#2}}
\symtest{arsconvtr}{\arsconvtr{A}B}
\symvariant{arsconvtr}[2]{1}{\infix[p=300]{\arsconvtrOp[1]}{#1}{#2}}
\symtest[variant=1]{arsconvtr}{\arsconvtr[1]AB}
\symdef[name=arsRconvtr]{arsRconvtrOp}[1]{\rightarrow_{#1}}
\symvariant{arsRconvtrOp}[1]{1}{\rightarrow^1_{#1}}
\symdef[name=arsRconvtr]{arsRconvtrOp}[1]{\rightarrow_{#1}^*}
\symdef{arsRconvtr}[3]{\infix[p=300]{\arsRconvtrOp{#1}}{#2}{#3}}
\symtest{arsRconvtr}{\arsRconvtr{R}AB}
\symvariant{arsRconvtr}[3]{1}{\infix[p=300]{\arsRconvtrOp[1]{#1}}{#2}{#3}}
\symtest[variant=1]{arsRconvtr}{\arsRconvtr[1]{R}AB}
\symiii{abstract}{reduction}{system}
\end{modsig}
%%% Local Variables:
......
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