diff -r 90f38c8831e2 -r 86559356502d src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Tue Mar 23 16:18:44 2010 +0100
+++ b/src/HOLCF/IsaMakefile	Tue Mar 23 09:39:21 2010 -0700
@@ -101,6 +101,7 @@
   ex/Fixrec_ex.thy \
   ex/Focus_ex.thy \
   ex/Hoare.thy \
+  ex/Letrec.thy \
   ex/Loop.thy \
   ex/New_Domain.thy \
   ex/Powerdomain_ex.thy \