--- a/src/HOL/IsaMakefile Fri Jan 06 11:15:02 2012 +0100 +++ b/src/HOL/IsaMakefile Fri Jan 06 20:39:50 2012 +0100 @@ -286,7 +286,6 @@ List.thy \ Main.thy \ Map.thy \ - More_List.thy \ More_Set.thy \ Nat_Numeral.thy \ Nat_Transfer.thy \