equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 |
6 |
7 Contributions to this Isabelle version |
7 Contributions to this Isabelle version |
8 -------------------------------------- |
8 -------------------------------------- |
|
9 |
|
10 * September 2009: Florian Haftmann, TUM |
|
11 Refinement of Sets and Lattices |
|
12 |
|
13 * July 2009: Jeremy Avigad and Amine Chaieb |
|
14 New number theory |
9 |
15 |
10 * July 2009: Philipp Meyer, TUM |
16 * July 2009: Philipp Meyer, TUM |
11 HOL/Library/Sum_of_Squares: functionality to call a remote csdp prover |
17 HOL/Library/Sum_of_Squares: functionality to call a remote csdp prover |
12 |
18 |
13 * July 2009: Florian Haftmann, TUM |
19 * July 2009: Florian Haftmann, TUM |