From: Matthijs Kooijman Date: Wed, 26 Aug 2009 07:55:50 +0000 (+0200) Subject: Remove \stoptext from the Normalization chapter. X-Git-Tag: final-thesis~288 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=070d98a8fb8de0445264129a11c20ee45fabc052;p=matthijs%2Fmaster-project%2Freport.git Remove \stoptext from the Normalization chapter. --- diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index d36556b..a8194de 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -779,4 +779,3 @@ After let bind removal: \stoplambda Application simplification is not applicable. -\stoptext