Commit 9c5bf12d authored by Glen Mével's avatar Glen Mével
Browse files

ICFP21: remove obsolete comment

parent ce3dde7a
\begin{figure} \begin{figure}
\begin{mathpar} \begin{mathpar}
% %
\infer[\rulenamelahoare]{% using the rule names from \cite{iris-15} \infer[\rulenamelahoare]{%
\lahoare <x> {P} {e} {Q} \lahoare <x> {P} {e} {Q}
}{% }{%
\Forall x. \hoare {P} {e} {Q} \Forall x. \hoare {P} {e} {Q}
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