--- a/src/HOL/IsaMakefile Sat Jan 07 20:18:56 2012 +0100 +++ b/src/HOL/IsaMakefile Sat Jan 07 20:18:56 2012 +0100 @@ -286,7 +286,6 @@ List.thy \ Main.thy \ Map.thy \ - More_Set.thy \ Nat_Numeral.thy \ Nat_Transfer.thy \ New_DSequence.thy \