src/HOL/Import/ROOT.ML

--- a/src/HOL/Import/ROOT.ML	Sat Sep 24 07:57:50 2005 +0200
+++ b/src/HOL/Import/ROOT.ML	Sat Sep 24 10:47:22 2005 +0200
@@ -3,5 +3,6 @@
     Author:     Sebastian Skalberg (TU Muenchen)
 *)
 
+proofs := 0;
 use_thy "HOL4Compat";
 use_thy "HOL4Syntax";