SMT news
authorblanchet
Tue Jun 20 14:41:29 2017 +0200 (23 months ago)
changeset 661351451a32479ba
parent 66134 a1fb6beb2731
child 66136 dd006934a719
SMT news
NEWS
     1.1 --- a/NEWS	Tue Jun 20 14:33:45 2017 +0200
     1.2 +++ b/NEWS	Tue Jun 20 14:41:29 2017 +0200
     1.3 @@ -162,7 +162,9 @@
     1.4  * Session HOL-Algebra extended by additional lattice theory: the
     1.5  Knaster-Tarski fixed point theorem and Galois Connections.
     1.6  
     1.7 -* SMT module: The legacy module 'src/HOL/Library/Old_SMT.thy' has been removed.
     1.8 +* SMT module:
     1.9 +  - The legacy module 'src/HOL/Library/Old_SMT.thy' has been removed.
    1.10 +  - Several small issues have been rectified in the 'smt' command.
    1.11  
    1.12  * Session HOL-Analysis: more material involving arcs, paths, covering
    1.13  spaces, innessential maps, retracts. Major results include the Jordan