--- a/src/HOL/Import/HOL/ROOT.ML Mon Sep 26 08:49:50 2005 +0200
+++ b/src/HOL/Import/HOL/ROOT.ML Mon Sep 26 08:50:21 2005 +0200
@@ -3,6 +3,5 @@
Author: Sebastian Skalberg (TU Muenchen)
*)
-set show_types; set show_sorts;
use_thy "HOL4Prob";
use_thy "HOL4";