Remove unused defref.
authorMatthijs Kooijman <matthijs@stdin.nl>
Sat, 5 Dec 2009 21:03:25 +0000 (22:03 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Sat, 5 Dec 2009 21:03:25 +0000 (22:03 +0100)
Chapters/Normalization.tex

index 2979b69..0700b3a 100644 (file)
           \stopframedtext
         }
 
-      \defref{beta-reduction}
       \subsubsection[sec:normalization:beta]{β-reduction}
         β-reduction is a well known transformation from lambda calculus, where it is
         the main reduction step. It reduces applications of lambda abstractions,