1.1 --- a/CONTRIBUTORS Mon Dec 31 13:08:49 2012 +0100
1.2 +++ b/CONTRIBUTORS Mon Dec 31 13:16:51 2012 +0100
1.3 @@ -9,13 +9,13 @@
1.4 * 2012: Makarius Wenzel, Université Paris-Sud / LRI
1.5 Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
1.6
1.7 -* Fall 2012: Daniel Kuehlwein, ICIS, Radboud University Nijmegen
1.8 +* Fall 2012: Daniel Kühlwein, ICIS, Radboud University Nijmegen
1.9 Jasmin Blanchette, TUM
1.10 Implemented Machine Learning for Sledgehammer (MaSh).
1.11
1.12 * Fall 2012: Steffen Smolka, TUM
1.13 - Various improvements to Sledgehammer's Isar proof generator, including
1.14 - a smart type annotation algorithm and proof shrinking.
1.15 + Various improvements to Sledgehammer's Isar proof generator,
1.16 + including a smart type annotation algorithm and proof shrinking.
1.17
1.18 * December 2012: Alessandro Coglio, Kestrel
1.19 Contributions to HOL's Lattice library
1.20 @@ -54,6 +54,10 @@
1.21 * May 2012: Andreas Lochbihler, KIT
1.22 Theory of almost everywhere constant functions.
1.23
1.24 +* 2010-2012: Markus Kaiser and Lukas Bulwahn, TUM
1.25 + Graphview in Scala/Swing.
1.26 +
1.27 +
1.28 Contributions to Isabelle2012
1.29 -----------------------------
1.30