5 |
5 |
6 |
6 |
7 Contributions to this Isabelle version |
7 Contributions to this Isabelle version |
8 -------------------------------------- |
8 -------------------------------------- |
9 |
9 |
10 * November 2007: Peter Lammich, Uni Muenster |
10 * 2007/2008: |
11 HOL-Lattice: some more lemmas. |
11 Alexander Krauss, TUM and Florian Haftmann, TUM and Stefan Berghofer, TUM |
|
12 HOL library improvements. |
12 |
13 |
13 * December 2007: Florian Haftmann, TUM |
14 * 2007/2008: Brian Huffman, PSU |
14 Overloading and Instantiation Target |
15 HOLCF library improvements. |
|
16 |
|
17 * 2007/2008: Stefan Berghofer, TUM |
|
18 HOL-Nominal package improvements. |
|
19 |
|
20 * March 2008: Markus Reiter, TUM |
|
21 HOL/Library/RBT: red-black trees. |
15 |
22 |
16 * February 2008: Alexander Krauss, TUM and Florian Haftmann, TUM and |
23 * February 2008: Alexander Krauss, TUM and Florian Haftmann, TUM and |
17 Lukas Bulwahn, TUM and John Matthews, Galois: |
24 Lukas Bulwahn, TUM and John Matthews, Galois: |
18 HOL/Library/Imperative_HOL: Haskell-style imperative data structures |
25 HOL/Library/Imperative_HOL: Haskell-style imperative data structures |
19 for HOL. |
26 for HOL. |
20 |
27 |
21 * March 2008: Markus Reiter, TUM |
28 * December 2007: Norbert Schirmer, Uni Saarbruecken |
22 HOL/Library/RBT: red-black trees. |
29 Misc improvements of record package in HOL. |
|
30 |
|
31 * December 2007: Florian Haftmann, TUM |
|
32 Overloading and class instantiation target. |
|
33 |
|
34 * December 2007: Florian Haftmann, TUM |
|
35 New version of primrec package for local theories. |
|
36 |
|
37 * December 2007: Alexander Krauss, TUM |
|
38 Method "induction_scheme" in HOL. |
|
39 |
|
40 * November 2007: Peter Lammich, Uni Muenster |
|
41 HOL-Lattice: some more lemmas. |
23 |
42 |
24 |
43 |
25 Contributions to Isabelle2007 |
44 Contributions to Isabelle2007 |
26 ----------------------------- |
45 ----------------------------- |
27 |
46 |