equal
deleted
inserted
replaced
24 * 2007: Kong W. Susanto, Cambridge |
24 * 2007: Kong W. Susanto, Cambridge |
25 HOL: Metis prover integration. |
25 HOL: Metis prover integration. |
26 |
26 |
27 * 2007: Stefan Berghofer, TUM |
27 * 2007: Stefan Berghofer, TUM |
28 HOL: inductive predicates. |
28 HOL: inductive predicates. |
|
29 |
|
30 * 2007: Norbert Schirmer, TUM |
|
31 HOL/record: misc improvements. |
29 |
32 |
30 * 2006/2007: Alexander Krauss, TUM |
33 * 2006/2007: Alexander Krauss, TUM |
31 HOL: function package and related theories on termination. |
34 HOL: function package and related theories on termination. |
32 |
35 |
33 * 2006/2007: Florian Haftmann, TUM |
36 * 2006/2007: Florian Haftmann, TUM |