1.1 --- a/NEWS	Wed Oct 15 11:27:55 1997 +0200
     1.2 +++ b/NEWS	Wed Oct 15 11:43:27 1997 +0200
     1.3 @@ -33,6 +33,9 @@
     1.4  * deleted the obsolete tactical STATE, which was declared by
     1.5      fun STATE tacfun st = tacfun st st;
     1.6  
     1.7 +* slightly changed interfaces for oracles: admit many per theory, named
     1.8 +(e.g. oracle foo = mlfun), additional name argument for invoke_oracle;
     1.9 +
    1.10  
    1.11  *** Classical Reasoner ***
    1.12