--- 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 \