equal
deleted
inserted
replaced
5 |
5 |
6 Contributions to Isabelle2011-1 |
6 Contributions to Isabelle2011-1 |
7 ------------------------------- |
7 ------------------------------- |
8 |
8 |
9 * September 2011: Peter Gammie |
9 * September 2011: Peter Gammie |
10 Theory HOL/Libary/Saturated: numbers with saturated arithmetic. |
10 Theory HOL/Library/Saturated: numbers with saturated arithmetic. |
11 |
11 |
12 * August 2011: Florian Haftmann, Johannes Hölzl and Lars Noschinski, TUM |
12 * August 2011: Florian Haftmann, Johannes Hölzl and Lars Noschinski, TUM |
13 Refined theory on complete lattices. |
13 Refined theory on complete lattices. |
14 |
14 |
15 * 2011: Makarius Wenzel, Université Paris-Sud / LRI |
15 * 2011: Makarius Wenzel, Université Paris-Sud / LRI |
27 |
27 |
28 * 2011: Johannes Hölzl, Armin Heller, TUM, |
28 * 2011: Johannes Hölzl, Armin Heller, TUM, |
29 and Bogdan Grechuk, Univeristy of Edinburgh |
29 and Bogdan Grechuk, Univeristy of Edinburgh |
30 Theory HOL/Library/Extended_Reals: real numbers extended with |
30 Theory HOL/Library/Extended_Reals: real numbers extended with |
31 plus and minus infinity. |
31 plus and minus infinity. |
|
32 |
|
33 * June 2011: Brian Huffman, Portland State University |
|
34 Proof method 'countable_datatype' for theory Library/Countable. |
|
35 |
|
36 * August 2011: Brian Huffman, Portland State University |
|
37 Misc cleanup of Complex_Main and Multivariate_Analysis. |
|
38 |
32 |
39 |
33 Contributions to Isabelle2011 |
40 Contributions to Isabelle2011 |
34 ----------------------------- |
41 ----------------------------- |
35 |
42 |
36 * January 2011: Stefan Berghofer, secunet Security Networks AG |
43 * January 2011: Stefan Berghofer, secunet Security Networks AG |