1.1 --- a/src/Pure/IsaMakefile	Sat Feb 06 22:06:18 2010 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Sat Feb 06 22:54:53 2010 +0100
     1.3 @@ -24,13 +24,12 @@
     1.4  BOOTSTRAP_FILES = ML-Systems/bash.ML ML-Systems/compiler_polyml-5.0.ML	\
     1.5    ML-Systems/compiler_polyml-5.2.ML ML-Systems/compiler_polyml-5.3.ML	\
     1.6    ML-Systems/ml_name_space.ML ML-Systems/ml_pretty.ML			\
     1.7 -  ML-Systems/mosml.ML ML-Systems/multithreading.ML			\
     1.8 -  ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML	\
     1.9 -  ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML			\
    1.10 -  ML-Systems/polyml-5.2.ML ML-Systems/polyml-5.2.1.ML			\
    1.11 -  ML-Systems/polyml.ML ML-Systems/polyml_common.ML			\
    1.12 -  ML-Systems/pp_polyml.ML ML-Systems/proper_int.ML			\
    1.13 -  ML-Systems/single_assignment.ML					\
    1.14 +  ML-Systems/multithreading.ML ML-Systems/multithreading_polyml.ML	\
    1.15 +  ML-Systems/overloading_smlnj.ML ML-Systems/polyml-5.0.ML		\
    1.16 +  ML-Systems/polyml-5.1.ML ML-Systems/polyml-5.2.ML			\
    1.17 +  ML-Systems/polyml-5.2.1.ML ML-Systems/polyml.ML			\
    1.18 +  ML-Systems/polyml_common.ML ML-Systems/pp_polyml.ML			\
    1.19 +  ML-Systems/proper_int.ML ML-Systems/single_assignment.ML		\
    1.20    ML-Systems/single_assignment_polyml.ML ML-Systems/smlnj.ML		\
    1.21    ML-Systems/thread_dummy.ML ML-Systems/timing.ML			\
    1.22    ML-Systems/time_limit.ML ML-Systems/universal.ML			\