1.1 --- a/src/HOL/TPTP/MaSh_Export.thy	Wed Jul 11 21:43:19 2012 +0200
     1.2 +++ b/src/HOL/TPTP/MaSh_Export.thy	Wed Jul 11 21:43:19 2012 +0200
     1.3 @@ -18,7 +18,7 @@
     1.4  *}
     1.5  
     1.6  ML {*
     1.7 -val do_it = true (* switch to "true" to generate the files *);
     1.8 +val do_it = false (* switch to "true" to generate the files *);
     1.9  val thy = @{theory Nat}
    1.10  *}
    1.11