equal
deleted
inserted
replaced
5 |
5 |
6 |
6 |
7 Contributions to this Isabelle version |
7 Contributions to this Isabelle version |
8 -------------------------------------- |
8 -------------------------------------- |
9 |
9 |
|
10 * February 2009: Filip Maric, Univ. of Belgrade |
|
11 A Serbian theory. |
|
12 |
10 * February 2009: Jasmin Christian Blanchette, TUM |
13 * February 2009: Jasmin Christian Blanchette, TUM |
11 Misc cleanup of HOL/refute. |
14 Misc cleanup of HOL/refute. |
12 |
15 |
13 * February 2009: Timothy Bourke, NICTA |
16 * February 2009: Timothy Bourke, NICTA |
14 New find_consts command. |
17 New find_consts command. |
50 |
53 |
51 * 2007/2008: Brian Huffman, PSU |
54 * 2007/2008: Brian Huffman, PSU |
52 HOLCF library improvements. |
55 HOLCF library improvements. |
53 |
56 |
54 * 2007/2008: Stefan Berghofer, TUM |
57 * 2007/2008: Stefan Berghofer, TUM |
55 HOL-Nominal package improvements. |
58 HOL-Nominal package improvements. |
56 |
59 |
57 * March 2008: Markus Reiter, TUM |
60 * March 2008: Markus Reiter, TUM |
58 HOL/Library/RBT: red-black trees. |
61 HOL/Library/RBT: red-black trees. |
59 |
62 |
60 * February 2008: Alexander Krauss, TUM and Florian Haftmann, TUM and |
63 * February 2008: Alexander Krauss, TUM and Florian Haftmann, TUM and |