Cat en Quotify

1 files changed, 3 insertions, 3 deletions

diff --git a/rules.tex b/rules.tex
index 8b01508..1fee1d4 100644
--- a/rules.tex
+++ b/rules.tex
@@ -13,11 +13,11 @@ de rechterkant van transities toe te voegen), omdat dit het redeneren over
 Smurfprogramma's makkelijker zal maken.
 
 \input{ruleslambda}
-%\input{rulespush}
+\input{rulespush}
 \input{ruleshead}
 \input{rulestail}
-%\input{rulesquotify}
-%\input{rulescat}
+\input{rulesquotify}
+\input{rulescat}
 \input{rulesget}
 \input{rulesput}
 \input{rulesinput}