From 53c76a0934d7c57415a96bfca4ef6f0b155d34f9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Wed, 14 Oct 2020 22:44:19 +0100 Subject: [PATCH] Fix macro use --- thesis.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/thesis.tex b/thesis.tex index 176858e..2a3b83c 100644 --- a/thesis.tex +++ b/thesis.tex @@ -2391,11 +2391,11 @@ installs a new instance of $\environment$, which is the environment belonging to $user'$, and runs the resumption $resume$ under this instance. % -The new instance of $\env$ shadows the initial instance, and therefore -it will intercept and handle any subsequent invocations of $\Ask$ -arising from running the resumption. A subsequent invocation of $\Su$ -will install another environment instance, which will shadow both the -previously installed instance and the initial instance. +The new instance of $\environment$ shadows the initial instance, and +therefore it will intercept and handle any subsequent invocations of +$\Ask$ arising from running the resumption. A subsequent invocation of +$\Su$ will install another environment instance, which will shadow +both the previously installed instance and the initial instance. % To make this concrete, let us plug together the all components of our