src/HOL/ex/ROOT.ML
changeset 23302 919d5c1fe509
parent 23271 3f9ef4bf3f31
child 23454 c54975167be9
--- 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";