equal
deleted
inserted
replaced
6 Contributions to Isabelle2013-1 |
6 Contributions to Isabelle2013-1 |
7 ------------------------------- |
7 ------------------------------- |
8 |
8 |
9 * September 2013: Nik Sultana, University of Cambridge |
9 * September 2013: Nik Sultana, University of Cambridge |
10 Improvements to HOL/TPTP parser and import facilities. |
10 Improvements to HOL/TPTP parser and import facilities. |
|
11 |
|
12 * September 2013: Johannes Hölzl and Dmitriy Traytel, TUM |
|
13 New "coinduction" method (residing in HOL-BNF) to avoid boilerplate. |
11 |
14 |
12 * Summer 2013: Makarius Wenzel, Université Paris-Sud / LRI |
15 * Summer 2013: Makarius Wenzel, Université Paris-Sud / LRI |
13 Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE. |
16 Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE. |
14 |
17 |
15 * Summer 2013: Manuel Eberl, TUM |
18 * Summer 2013: Manuel Eberl, TUM |