renamed ML-Systems/no_multithreading.ML to ML-Systems/multithreading_dummy.ML;
added ML-Systems/multithreading_polyml.ML, ML-Systems/exn.ML

--- a/src/Pure/IsaMakefile	Tue Jul 24 19:44:29 2007 +0200
+++ b/src/Pure/IsaMakefile	Tue Jul 24 19:44:30 2007 +0200
@@ -40,9 +40,9 @@
   Isar/proof_display.ML Isar/proof_history.ML Isar/rule_cases.ML		\
   Isar/rule_insts.ML Isar/session.ML Isar/skip_proof.ML Isar/spec_parse.ML	\
   Isar/specification.ML Isar/theory_target.ML Isar/toplevel.ML			\
-  ML-Systems/alice.ML ML-Systems/no_multithreading.ML 				\
-  ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML 			\
-  ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML				\
+  ML-Systems/alice.ML ML-Systems/exn.ML ML-Systems/multithreading_dummy.ML	\
+  ML-Systems/multithreading_polyml.ML ML-Systems/polyml-4.1.3.ML		\
+  ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML	\
   ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML		\
   ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML	\
   ML-Systems/smlnj.ML Proof/extraction.ML Proof/proof_rewrite_rules.ML		\
@@ -76,7 +76,8 @@
 
 RAW: $(OUT)/RAW
 
-$(OUT)/RAW: ML-Systems/alice.ML ML-Systems/no_multithreading.ML			\
+$(OUT)/RAW: ML-Systems/alice.ML ML-Systems/exn.ML 				\
+  ML-Systems/multithreading_dummy.ML ML-Systems/multithreading_polyml.ML	\
   ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML 			\
   ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML				\
   ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML		\