changeset 5113 | c4da11bb0592 |
parent 5093 | f616efb64a0e |
child 5211 | c02b0c727780 |
--- a/src/Pure/ROOT.ML Thu Jul 02 17:26:47 1998 +0200 +++ b/src/Pure/ROOT.ML Thu Jul 02 17:27:35 1998 +0200 @@ -55,6 +55,7 @@ use "install_pp.ML"; +(*if true then some packages won't be too serious about actually proving things*) val quick_and_dirty = ref false; (*several object-logics declare theories named List or Option, hiding