equal
deleted
inserted
replaced
9 * September 2011: Peter Gammie |
9 * September 2011: Peter Gammie |
10 Theory HOL/Libary/Saturated: numbers with saturated arithmetic. |
10 Theory HOL/Libary/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 |
|
15 * 2011: Makarius Wenzel, Université Paris-Sud / LRI |
|
16 Various building blocks for Isabelle/Scala layer and Isabelle/jEdit |
|
17 Prover IDE. |
14 |
18 |
15 |
19 |
16 Contributions to Isabelle2011 |
20 Contributions to Isabelle2011 |
17 ----------------------------- |
21 ----------------------------- |
18 |
22 |