Remove \stoptext from the Normalization chapter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 26 Aug 2009 07:55:50 +0000 (09:55 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 26 Aug 2009 07:55:50 +0000 (09:55 +0200)
Chapters/Normalization.tex

index d36556beeb775495a399f554be7da5686313efad..a8194decdf2826b8c9677989754dcd4e3c78fa25 100644 (file)
@@ -779,4 +779,3 @@ After let bind removal:
 \stoplambda
 
 Application simplification is not applicable.
 \stoplambda
 
 Application simplification is not applicable.
-\stoptext