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

reintroduced \ifsubmission true for anonymizying

parent 3c01dda1
......@@ -383,7 +383,7 @@ of rules.
{ \pvdash \Gamma e t \varpi.0:\arrow{t_1}{t_2} \\ \pvdash \Gamma e t \varpi:t_2'}
{ \pvdash \Gamma e t \varpi.1:\neg t_1 }
{ t_2\land t_2' \simeq \Empty }
\ifsubmission\vspace{-1.2mm}\\\else\end{mathpar}\begin{mathpar}\fi
\end{mathpar}\begin{mathpar}
\Infer[PAppL]
{ \pvdash \Gamma e t \varpi.1:t_1 \\ \pvdash \Gamma e t \varpi:t_2 }
{ \pvdash \Gamma e t \varpi.0:\neg (\arrow {t_1} {\neg t_2}) }
......
......@@ -23,7 +23,7 @@
\withcommentsfalse
\newif\ifsubmission
\submissiontrue
\submissionfalse
%\submissionfalse
\newif\iflongversion
\longversiontrue
\longversionfalse
......
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