reactivated tests in smlnj;

--- a/src/HOL/Complex/ex/ROOT.ML	Tue Sep 18 16:08:00 2007 +0200
+++ b/src/HOL/Complex/ex/ROOT.ML	Tue Sep 18 16:08:08 2007 +0200
@@ -20,9 +20,9 @@
   "Arithmetic_Series_Complex",
   "HarmonicSeries",
 
-  "DenumRat"
+  "DenumRat",
+  
+  "MIR",
+  "ReflectedFerrack"
 ];
 
-if String.isPrefix "smlnj" ml_system then ()  (* FIXME tmp *)
-else use_thys ["MIR", "ReflectedFerrack"];
-