X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;fp=Chapters%2FNormalization.tex;h=fba2c4a47d22b6fb09527fbd4f94ff40e87fd162;hp=322b2401d6167a08b5ebfc0134e5d14bfd928eb5;hb=9e91ba5d56c3626ace094e8074c6b6a1106f5d3f;hpb=736a0a7980ef55a90b3d439a49f71c74086eb002

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 322b240..fba2c4a 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -318,12 +318,13 @@
 
     \subsection[sec:normalization:intendednormalform]{Intended normal form definition}
       Now we have some intuition for the normal form, we can describe how we want
-      the normal form to look like in a slightly more formal manner. The following
-      EBNF-like description captures most of the intended structure (and
-      generates a subset of \GHC's core format). 
+      the normal form to look like in a slightly more formal manner. The
+      EBNF-like description in \in{definition}[def:IntendedNormal] captures
+      most of the intended structure (and generates a subset of \GHC's core
+      format). 
       
-      There are two things missing: cast expressions are sometimes
-      allowed by the prototype, but not specified here and the below
+      There are two things missing from this definition: cast expressions are
+      sometimes allowed by the prototype, but not specified here and the below
       definition allows uses of state that cannot be translated to \VHDL\
       properly. These two problems are discussed in
       \in{section}[sec:normalization:castproblems] and