--- a/src/Pure/IsaMakefile Tue Sep 19 15:22:03 2006 +0200
+++ b/src/Pure/IsaMakefile Tue Sep 19 15:22:05 2006 +0200
@@ -59,9 +59,9 @@
Tools/am_interpreter.ML Tools/am_util.ML \
Tools/codegen_consts.ML \
Tools/codegen_names.ML \
- Tools/class_package.ML \
+ Tools/class_package.ML Tools/codegen_data.ML \
Tools/codegen_package.ML Tools/codegen_serializer.ML \
- Tools/codegen_theorems.ML Tools/codegen_simtype.ML \
+ 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 \
assumption.ML axclass.ML codegen.ML compress.ML conjunction.ML consts.ML \