this is for holding javascript data
Mazdak Farrokhzad edited 3b5.tex
over 9 years ago
Commit id: 05277940cda23f73d93e8a3039d801921c869b35
deletions | additions
diff --git a/3b5.tex b/3b5.tex
index b9ae64b..2d5a88e 100644
--- a/3b5.tex
+++ b/3b5.tex
...
\begin{equation}
\begin{split}
& I \a B &\to& \wp{V_1 := V; S}{V <
V_1} V_1}\\
\rule{2} \iff & I \a B &\to& \wp{V_1 := V}{\wp{res := res + m}{\wp{n := n - 1}{V <
V_1}}} V_1}}}\\
\end{split}
\end{equation}