Commit 06bb6d4d authored by Ralf Jung's avatar Ralf Jung

fix latex

parent 7e709455
Pipeline #5620 passed with stages
in 5 minutes and 57 seconds
...@@ -39,7 +39,7 @@ Below, $\melt$ ranges over $\monoid$ and $i$ ranges over $\set{1,2}$. ...@@ -39,7 +39,7 @@ Below, $\melt$ ranges over $\monoid$ and $i$ ranges over $\set{1,2}$.
\type \to \type \type \to \type
\\[0.4em] \\[0.4em]
\term, \prop, \pred \bnfdef{}& \term, \prop, \pred \bnfdef{}&
\var \bm\mid \var \mid
\sigfn(\term_1, \dots, \term_n) \mid \sigfn(\term_1, \dots, \term_n) \mid
\textlog{abort}(\term) \mid \textlog{abort}(\term) \mid
() \mid () \mid
......
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