# HG changeset patch
# User wenzelm
# Date 1186423139 -7200
# Node ID a02941b15d0afcd1805d47e7969d5737379425e0
# Parent  ebecbe4f53aea81bb8c7b4847448d8a57439e364
ML-Systems/overloading_smlnj.ML;

diff -r ebecbe4f53ae -r a02941b15d0a src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Mon Aug 06 19:35:43 2007 +0200
+++ b/src/Pure/IsaMakefile	Mon Aug 06 19:58:59 2007 +0200
@@ -41,7 +41,8 @@
   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/exn.ML ML-Systems/multithreading_dummy.ML	\
-  ML-Systems/multithreading_polyml.ML ML-Systems/polyml-4.1.3.ML		\
+  ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.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	\
@@ -79,11 +80,11 @@
 
 $(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/overloading_smlnj.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
+  ML-Systems/proper_int.ML ML-Systems/smlnj.ML
 	@./mk -r