--- a/src/HOL/IsaMakefile Sun Apr 01 22:03:45 2012 +0200 +++ b/src/HOL/IsaMakefile Sun Apr 01 22:14:59 2012 +0200 @@ -284,7 +284,6 @@ List.thy \ Main.thy \ Map.thy \ - Nat_Numeral.thy \ Nat_Transfer.thy \ New_DSequence.thy \ New_Random_Sequence.thy \