author | wenzelm |
Tue, 04 Nov 1997 12:04:57 +0100 | |
changeset 4112 | 98c8f40f7bbe |
parent 4111 | 93baba60ece2 |
child 4113 | f7130dcacefa |
--- a/NEWS Tue Nov 04 12:03:48 1997 +0100 +++ b/NEWS Tue Nov 04 12:04:57 1997 +0100 @@ -31,7 +31,7 @@ * theory aliases via merge (e.g. M=A+B+C) no longer supported, always creates a new theory node; implicit merge of thms' signatures is -restricted to 'trivial' ones, thus one may have to use +restricted to 'trivial' ones; COMPATIBILITY: one may have to use transfer:theory->thm->thm in (rare) cases; * improved handling of draft signatures / theories; draft thms (and