--- a/src/Pure/IsaMakefile Thu Sep 21 14:44:30 2006 +0200
+++ b/src/Pure/IsaMakefile Thu Sep 21 15:40:31 2006 +0200
@@ -64,6 +64,7 @@
Tools/codegen_funcgr.ML Tools/codegen_simtype.ML \
Tools/codegen_thingol.ML Tools/compute.ML \
Tools/invoke.ML Tools/nbe.ML Tools/nbe_codegen.ML Tools/nbe_eval.ML \
+ Tools/xml_syntax.ML \
assumption.ML axclass.ML codegen.ML compress.ML conjunction.ML consts.ML \
context.ML defs.ML display.ML drule.ML envir.ML fact_index.ML goal.ML \
install_pp.ML library.ML logic.ML meta_simplifier.ML name.ML net.ML \