From 5a5c2e9ef52c766f52e5c701a11f829fa57a5b25 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 14 Oct 2016 13:34:33 +0200
Subject: [PATCH] docs: hyperlink some rules
---
docs/base-logic.tex | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/docs/base-logic.tex b/docs/base-logic.tex
index 0f7cf136d..4daa52d0f 100644
--- a/docs/base-logic.tex
+++ b/docs/base-logic.tex
@@ -376,18 +376,18 @@ Furthermore, we have the usual $\eta$ and $\beta$ laws for projections, $\lambda
\paragraph{Laws for the resource update modality.}
\begin{mathpar}
-\infer[upd-mono]
+\inferH{upd-mono}
{\prop \proves \propB}
{\upd\prop \proves \upd\propB}
-\infer[upd-intro]
+\inferH{upd-intro}
{}{\prop \proves \upd \prop}
-\infer[upd-trans]
+\inferH{upd-trans}
{}
{\upd \upd \prop \proves \upd \prop}
-\infer[upd-frame]
+\inferH{upd-frame}
{}{\propB * \upd\prop \proves \upd (\propB * \prop)}
\inferH{upd-update}
--
GitLab