src/HOLCF/IsaMakefile

--- a/src/HOLCF/IsaMakefile	Wed Nov 10 14:59:52 2010 -0800
+++ b/src/HOLCF/IsaMakefile	Wed Nov 10 17:56:08 2010 -0800
@@ -54,9 +54,11 @@
   HOLCF.thy \
   Lift.thy \
   LowerPD.thy \
+  Map_Functions.thy \
   One.thy \
   Pcpodef.thy \
   Pcpo.thy \
+  Plain_HOLCF.thy \
   Porder.thy \
   Powerdomains.thy \
   Product_Cpo.thy \