--- a/src/Pure/IsaMakefile Fri Nov 03 14:22:42 2006 +0100
+++ b/src/Pure/IsaMakefile Fri Nov 03 14:22:43 2006 +0100
@@ -25,7 +25,7 @@
$(OUT)/Pure$(ML_SUFFIX): CPure.thy General/ROOT.ML General/alist.ML \
General/buffer.ML General/file.ML General/graph.ML General/heap.ML \
- General/history.ML General/name_mangler.ML General/name_space.ML \
+ General/history.ML General/name_space.ML \
General/ord_list.ML General/output.ML General/path.ML \
General/position.ML General/pretty.ML General/rat.ML General/scan.ML \
General/secure.ML General/seq.ML General/source.ML General/stack.ML \