--- a/src/HOL/IsaMakefile Thu Jul 19 12:01:05 2012 +0200
+++ b/src/HOL/IsaMakefile Thu Jul 19 19:38:39 2012 +0200
@@ -245,7 +245,6 @@
Tools/abel_cancel.ML \
Tools/arith_data.ML \
Tools/cnf_funcs.ML \
- Tools/dseq.ML \
Tools/enriched_type.ML \
Tools/inductive.ML \
Tools/inductive_realizer.ML \