ANNOUNCE
changeset 41605 7d035da21e9c
parent 41604 313b0033034a
child 44801 a0459c50cfc9
equal deleted inserted replaced
41604:313b0033034a 41605:7d035da21e9c
    16 
    16 
    17 * HOL: various tool enhancements, including Quickcheck, Nitpick,
    17 * HOL: various tool enhancements, including Quickcheck, Nitpick,
    18   Sledgehammer, SMT integration.
    18   Sledgehammer, SMT integration.
    19 
    19 
    20 * HOL: various additions to theory library, including HOL-Algebra,
    20 * HOL: various additions to theory library, including HOL-Algebra,
    21   Imperative_HOL Multivariate_Analysis, Probability.
    21   Imperative_HOL, Multivariate_Analysis, Probability.
    22 
    22 
    23 * HOLCF: reorganization of library and related tools.
    23 * HOLCF: reorganization of library and related tools.
    24 
    24 
    25 * HOL/SPARK: interactive proof environment for verification conditions
    25 * HOL/SPARK: interactive proof environment for verification conditions
    26   generated by the SPARK Ada program verifier.
    26   generated by the SPARK Ada program verifier.