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 2979b69034b38de0d3ac87dfce3ef01a39b1345b..0700b3acb044d0f4ac7929d0fbddde318f169295 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,