From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Sat, 5 Dec 2009 21:03:25 +0000 (+0100)
Subject: Remove unused defref.
X-Git-Tag: final-thesis~90
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=a4cfdaa1ccacc0dcf9a374bb202b247b8f28dccb;hp=012e0c8c3060033b9695b5d545e9d1182a527991

Remove unused defref.
---

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 2979b69..0700b3a 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -821,7 +821,6 @@
           \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,