From 0136017b71236b548335d95e1b67166a85c85b3d Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 23 Jul 2022 10:55:54 -0400
Subject: [PATCH] use consistent metavar in fpfn RA rules
---
tex/constructions.tex | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/tex/constructions.tex b/tex/constructions.tex
index acaa76a10..11b3337af 100644
--- a/tex/constructions.tex
+++ b/tex/constructions.tex
@@ -124,12 +124,12 @@ Given some infinite countable $K$ and some camera $\monoid$, the set of finite p
We obtain the following frame-preserving updates:
\begin{mathpar}
\inferH{fpfn-alloc-strong}
- {\text{$G$ infinite} \and \mvalFull(\melt)}
- {\emptyset \mupd \setComp{\mapsingleton \gname \melt}{\gname \in G}}
+ {\text{$G \subseteq K$ infinite} \and \mvalFull(\melt)}
+ {\emptyset \mupd \setComp{\mapsingleton i \melt}{i \in G}}
\inferH{fpfn-alloc}
{\mvalFull(\melt)}
- {\emptyset \mupd \setComp{\mapsingleton \gname \melt}{\gname \in K}}
+ {\emptyset \mupd \setComp{\mapsingleton i \melt}{i \in K}}
\inferH{fpfn-update}
{\melt \mupd_\monoid \meltsB}
--
GitLab