Commit acf7b18d authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing

parents 7bb6f36a d6687fcb
......@@ -743,8 +743,6 @@
\end{description}
\end{proof}
\pagebreak
\subsection{Operator $\worra {} {}$}\label{app:worra}
In this section, we will use the algorithmic definition of $\worra {} {}$ and show that it is equivalent to its
......@@ -1627,5 +1625,3 @@
\end{description}
\end{description}
\end{proof}
\newpage
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