From 070d98a8fb8de0445264129a11c20ee45fabc052 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Wed, 26 Aug 2009 09:55:50 +0200 Subject: [PATCH] Remove \stoptext from the Normalization chapter. --- Chapters/Normalization.tex | 1 - 1 file changed, 1 deletion(-) 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 -- 2.30.2