Extended version -> Appendix

Author: aspiwack

linear-constraints.mng

@@ -1560,8 +1560,7 @@ Then the following properties hold
 If $[[Q1 ||- omega.Q2]]$, then $[[{Q1}]]$ contains no linear assumptions.
 \end{corollary}
 
-Proofs of these lemmas (and others) appear in the extended version of
-the paper~\cite{extended-version};
+Proofs of these lemmas (and others) appear in Appendix~\ref{sec:appendix:proofs-lemmas};
 they can be proved by straightforward use of the properties in \Cref{fig:entailment-relation}.
 
 \subsection{Typing rules}