--- a/src/HOL/Import/HOL/ROOT.ML Wed Nov 08 22:24:54 2006 +0100
+++ b/src/HOL/Import/HOL/ROOT.ML Wed Nov 08 23:11:13 2006 +0100
@@ -3,5 +3,6 @@
Author: Sebastian Skalberg (TU Muenchen)
*)
+use_thy "Primes";
setmp quick_and_dirty true use_thy "HOL4Prob";
setmp quick_and_dirty true use_thy "HOL4";