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