Commit 5050a6ca authored by Michael Kohlhase's avatar Michael Kohlhase

debugging

parent 29dc2d36
......@@ -2,7 +2,7 @@
\begin{definition}
Wir nennen eine Formel $\bA$ eine \defii[alphabetic-variant]{alphabetische}{Variante}
von $\bB$ (oder \adefii[alphabetic-variant]{$\alphaeqFN$-gleich}{alpha}{gleich};
schreibe $\alphaeq\bA\bB$), wenn $\bB$ aus $\bA$ hervorgeht durch systematische
schreibe $\alphaeq{\bA,\bB}$), wenn $\bB$ aus $\bA$ hervorgeht durch systematische
Umbenennung gebundener Variablen.
\end{definition}
\end{mhmodnl}
......
......@@ -2,7 +2,7 @@
\begin{definition}
We call a formula $\bA$ an \defii{alphabetic}{variant} of $\bB$ (or
\adefii[alphabetic-variant]{$\alphaeqFN$-equal}{alpha}{equal}; write
$\alphaeq\bA\bB$), iff $\bB$ can be obtained from $\bA$ by systematically renaming
$\alphaeq{\bA,\bB}$), iff $\bB$ can be obtained from $\bA$ by systematically renaming
bound variables.
\end{definition}
\end{mhmodnl}
......
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