--- a/src/HOL/Import/Generate-HOL/ROOT.ML Sun Aug 21 11:03:15 2011 -0700
+++ b/src/HOL/Import/Generate-HOL/ROOT.ML Sun Aug 21 22:13:04 2011 +0200
@@ -1,3 +1,5 @@
+Runtime.debug := true;
+
use_thy "GenHOL4Prob";
use_thy "GenHOL4Vec";
use_thy "GenHOL4Word32";