--- a/src/HOLCF/IsaMakefile Wed Mar 10 14:57:13 2010 -0800 +++ b/src/HOLCF/IsaMakefile Wed Mar 10 15:20:13 2010 -0800 @@ -47,7 +47,6 @@ HOLCF.thy \ Lift.thy \ LowerPD.thy \ - NatIso.thy \ One.thy \ Pcpodef.thy \ Pcpo.thy \