disabled theory "Reflected_Presburger" for smlnj (temporarily);

--- a/src/HOL/ex/ROOT.ML	Sun Jun 10 21:06:59 2007 +0200
+++ b/src/HOL/ex/ROOT.ML	Sun Jun 10 23:48:27 2007 +0200
@@ -49,7 +49,8 @@
 time_use_thy "mesontest2";
 time_use_thy "Arith_Examples";
 time_use_thy "PresburgerEx";
-time_use_thy "Reflected_Presburger";
+if String.isPrefix "smlnj" ml_system then ()  (* FIXME tmp *)
+else time_use_thy "Reflected_Presburger";
 time_use_thy "BT";
 time_use_thy "InSort";
 time_use_thy "Qsort";