author | wenzelm |
Mon, 20 Mar 2000 18:47:47 +0100 | |
changeset 8538 | e8ab6cd2e908 |
parent 8537 | 8abfc72109f2 |
child 8539 | 3cbe48a112f7 |
src/Pure/ROOT.ML | file | annotate | diff | comparison | revisions |
--- a/src/Pure/ROOT.ML Mon Mar 20 18:47:27 2000 +0100 +++ b/src/Pure/ROOT.ML Mon Mar 20 18:47:47 2000 +0100 @@ -13,7 +13,6 @@ (*global flags*) val print_mode = ref ([]: string list); -val quick_and_dirty = ref false; (*if true then some packages will OMIT SOME PROOFS*) (*fake hiding of private structures*) structure Hidden = struct end;