Reference the substitution intermezzo.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 2 Dec 2009 15:02:24 +0000 (16:02 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 2 Dec 2009 15:02:24 +0000 (16:02 +0100)
Chapters/Normalization.tex

index f4156b6..3d53853 100644 (file)
        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}
         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
         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