tuned comment;
authorwenzelm
Thu Jul 02 17:27:35 1998 +0200 (1998-07-02)
changeset 5113c4da11bb0592
parent 5112 9e74cf11e4a4
child 5114 c729d4c299c1
tuned comment;
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Thu Jul 02 17:26:47 1998 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Jul 02 17:27:35 1998 +0200
     1.3 @@ -55,6 +55,7 @@
     1.4  
     1.5  use "install_pp.ML";
     1.6  
     1.7 +(*if true then some packages won't be too serious about actually proving things*)
     1.8  val quick_and_dirty = ref false;
     1.9  
    1.10  (*several object-logics declare theories named List or Option, hiding