this is for holding javascript data
Matthew Milano edited 2.tex
about 9 years ago
Commit id: 6e3b32b0bf8008e9c0d0fad13cece63e7c61ba91
deletions | additions
diff --git a/2.tex b/2.tex
index 14441ff..365774d 100644
--- a/2.tex
+++ b/2.tex
...
\section{6.14}
\subsection{a} \subsection*{a}
Proving Lemma 6.4.1: $(\I,r,m) \vDash C_S \varphi$ iff $(\I,r',m') \vDash \varphi$ for all points $(r',m')$ that are S-reachable from $(r,m)$.