--- a/src/Pure/IsaMakefile Wed Sep 01 22:59:11 2010 +0200 +++ b/src/Pure/IsaMakefile Wed Sep 01 23:03:31 2010 +0200 @@ -230,7 +230,6 @@ morphism.ML \ name.ML \ net.ML \ - old_goals.ML \ old_term.ML \ pattern.ML \ primitive_defs.ML \