20 * August 2007: Brian Huffman, PSU |
20 * August 2007: Brian Huffman, PSU |
21 HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type. |
21 HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type. |
22 |
22 |
23 * June 2007: Amine Chaieb, TUM |
23 * June 2007: Amine Chaieb, TUM |
24 Semiring normalization and Groebner Bases. |
24 Semiring normalization and Groebner Bases. |
25 Support for dens linear orders. |
25 Support for dense linear orders. |
26 |
26 |
27 * June 2007: Joe Hurd, Oxford |
27 * June 2007: Joe Hurd, Oxford |
28 Metis theorem-prover. |
28 Metis theorem-prover. |
29 |
29 |
30 * 2007: Kong W. Susanto, Cambridge |
30 * 2007: Kong W. Susanto, Cambridge |
31 HOL: Metis prover integration. |
31 HOL: Metis prover integration. |
32 |
32 |
33 * 2007: Stefan Berghofer, TUM |
33 * 2007: Stefan Berghofer, TUM |
34 HOL: inductive predicates. |
34 HOL: inductive predicates and sets. |
35 |
35 |
36 * 2007: Norbert Schirmer, TUM |
36 * 2007: Norbert Schirmer, TUM |
37 HOL/record: misc improvements. |
37 HOL/record: misc improvements. |
38 |
38 |
39 * 2006/2007: Alexander Krauss, TUM |
39 * 2006/2007: Alexander Krauss, TUM |
42 * 2006/2007: Florian Haftmann, TUM |
42 * 2006/2007: Florian Haftmann, TUM |
43 Pure: generic code generator framework. |
43 Pure: generic code generator framework. |
44 Pure: class package. |
44 Pure: class package. |
45 HOL: theory reorganization, code generator setup. |
45 HOL: theory reorganization, code generator setup. |
46 |
46 |
47 * 2006/2007: Christian Urban, TUM and Stefan Berghofer, TUM and Julien |
47 * 2006/2007: Christian Urban, TUM and Stefan Berghofer, TUM and |
48 Narboux, TUM |
48 Julien Narboux, TUM |
49 HOL/Nominal package and related tools. |
49 HOL/Nominal package and related tools. |
50 |
50 |
51 * November 2006: Lukas Bulwahn, TUM |
51 * November 2006: Lukas Bulwahn, TUM |
52 HOL: method "lexicographic_order" for function package. |
52 HOL: method "lexicographic_order" for function package. |
53 |
53 |