Reference the substitution intermezzo.

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index f4156b6131685dc6d81880ff80fec2d14b2bff16..3d53853a58129f8b8cf90e5a22b8da3f02f75d30 100644 (file)
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -796,6 +796,7 @@
        normal form.
 
         \placeintermezzo{}{
        normal form.
 
         \placeintermezzo{}{

+          \defref{substitution notation}

           \startframedtext[width=8cm,background=box,frame=no]
           \startalignment[center]
             {\tfa Substitution notation}
           \startframedtext[width=8cm,background=box,frame=no]
           \startalignment[center]
             {\tfa Substitution notation}


@@ -888,7 +889,8 @@
         This transformation is not needed to get an expression into intended
         normal form (since these bindings are part of the intended normal
         form), but makes the resulting \small{VHDL} a lot shorter.
         This transformation is not needed to get an expression into intended
         normal form (since these bindings are part of the intended normal
         form), but makes the resulting \small{VHDL} a lot shorter.

-        
+       
+        \refdef{substitution notation}

         \starttrans
         letrec
           a0 = E0
         \starttrans
         letrec
           a0 = E0


@@ -1820,6 +1822,7 @@
         solves (part of) the polymorphism, higher order values and
         unrepresentable literals in an expression.
 
         solves (part of) the polymorphism, higher order values and
         unrepresentable literals in an expression.
 

+        \refdef{substitution notation}

         \starttrans
         letrec 
           a0 = E0
         \starttrans
         letrec 
           a0 = E0