From 1faf953f857704cd2ac0acb98d99a7a99e37ba5e Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 12 Jun 2016 16:27:22 +0200
Subject: Appendix met regels

---
 rulesquotify.tex | 17 ++---------------
 1 file changed, 2 insertions(+), 15 deletions(-)

(limited to 'rulesquotify.tex')

diff --git a/rulesquotify.tex b/rulesquotify.tex
index 8ebe567..27c34a3 100644
--- a/rulesquotify.tex
+++ b/rulesquotify.tex
@@ -15,26 +15,13 @@ wordt hier een \verb$\$ voor geplaatst. Hiervoor gebruiken we de hulpfunctie
 $\escapeop$.
 
 Dit geeft de volgende regel:
-$$
-\begin{prooftree}
-	\trans
-		{\pgm}{\ip}{(\push{\texttt{"}\escape{s}\texttt{"}}{\stk'}, \str) }
-		{\ip'}{\op}{\st}
-	\justifies
-	\trans
-		{\StmQuotify:\pgm}{\ip}{(\stk,\str)}
-		{\ip'}{\op}{\st}
-	\using{\rquotifyns}
-	\qquad
-	\text{met $\pop{\stk} = (s, stk')$.}
-\end{prooftree}
-$$
+\therquotifyns%
 
 $$
 	\escape{c~s} =
 		\begin{cases}
 			\texttt{\textbackslash}~c~\escape{s} & \text{als
 				$c\in\{\texttt{"},\texttt{\textbackslash},\text{het LF-karakter}\}$} \\
-			c~\escape{s}                & \text{anderszins}
+			c~\escape{s} & \text{anderszins}
 		\end{cases}
 $$
-- 
cgit v1.2.3

