--- a/src/Pure/IsaMakefile Sun Apr 04 15:34:14 2004 +0200
+++ b/src/Pure/IsaMakefile Mon Apr 05 13:23:10 2004 +0200
@@ -41,8 +41,10 @@
Isar/thy_header.ML Isar/toplevel.ML ML-Systems/mlworks.ML \
ML-Systems/polyml-3.x.ML ML-Systems/polyml.ML \
ML-Systems/smlnj-0.93.ML ML-Systems/smlnj-compiler.ML \
- ML-Systems/smlnj.ML Proof/ROOT.ML Proof/extraction.ML \
- Proof/proof_rewrite_rules.ML \
+ ML-Systems/cpu-timer-basis.ML ML-Systems/cpu-timer-gc.ML \
+ ML-Systems/smlnj-pp-new.ML ML-Systems/smlnj-pp-old.ML \
+ ML-Systems/smlnj.ML ML-Systems/smlnj-basis-compat.ML Proof/ROOT.ML \
+ Proof/extraction.ML Proof/proof_rewrite_rules.ML \
Proof/proof_syntax.ML Proof/proofchecker.ML Proof/reconstruct.ML \
ROOT.ML Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML \
Syntax/mixfix.ML Syntax/parser.ML Syntax/printer.ML \