src/Pure/ROOT.ML
changeset 5093 f616efb64a0e
parent 5092 e443bc494604
child 5113 c4da11bb0592
     1.1 --- a/src/Pure/ROOT.ML	Mon Jun 29 21:33:35 1998 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Tue Jun 30 14:41:27 1998 +0200
     1.3 @@ -55,6 +55,8 @@
     1.4  
     1.5  use "install_pp.ML";
     1.6  
     1.7 +val quick_and_dirty = ref false;
     1.8 +
     1.9  (*several object-logics declare theories named List or Option, hiding
    1.10    the eponymous basis library structures*)
    1.11  structure BasisLibrary =