src/HOL/Import/HOL/ROOT.ML
changeset 17648 7568d2cc560e
parent 17644 bd59bfd4bf37
child 17710 9a13e0abdb82
--- 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";