NEWS
changeset 10664 da5373fa06de
parent 10634 b4c3af8ebada
child 10726 e12b81140945
equal deleted inserted replaced
10663:fb08faea465d 10664:da5373fa06de
    86 * CTT: theory Main now available, containing everything (that is, Bool
    86 * CTT: theory Main now available, containing everything (that is, Bool
    87 and Arith);
    87 and Arith);
    88 
    88 
    89 
    89 
    90 *** General ***
    90 *** General ***
       
    91 
       
    92 * print modes "brackets" and "no_brackets" control output of nested =>
       
    93 (types) and ==> (props); the default behaviour is "brackets";
    91 
    94 
    92 * system: support Poly/ML 4.0 (current beta versions);
    95 * system: support Poly/ML 4.0 (current beta versions);
    93 
    96 
    94 * Pure: the Simplifier has been implemented properly as a derived rule
    97 * Pure: the Simplifier has been implemented properly as a derived rule
    95 outside of the actual kernel (at last!); the overall performance
    98 outside of the actual kernel (at last!); the overall performance