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

---
 ruleslambda.tex | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

(limited to 'ruleslambda.tex')

diff --git a/ruleslambda.tex b/ruleslambda.tex
index 5612872..161fa2b 100644
--- a/ruleslambda.tex
+++ b/ruleslambda.tex
@@ -5,14 +5,4 @@
 We hebben één axioma nodig om het basisgeval van het lege programma af te
 handelen. Deze regel geeft aan dat het lege programma niets doet: het gebruikt
 geen input, geeft geen output, en verandert de state niet.
-
-$$
-\begin{prooftree}
-	\axjustifies
-	\trans
-		{\lambda}{\ip}{\st}
-		{\ip}{\Nil}{\st}
-	\using{\rlambdans}
-\end{prooftree}
-$$
-
+\therlambdans%
-- 
cgit v1.2.3

