--- 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";