From a4cfdaa1ccacc0dcf9a374bb202b247b8f28dccb Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman
Date: Sat, 5 Dec 2009 22:03:25 +0100
Subject: [PATCH] Remove unused defref.
---
Chapters/Normalization.tex | 1 -
1 file changed, 1 deletion(-)
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,
--
2.20.1