--- a/CONTRIBUTORS Mon Oct 31 14:21:23 2016 +0100
+++ b/CONTRIBUTORS Mon Oct 31 15:48:27 2016 +0100
@@ -52,6 +52,11 @@
Tight Poly/ML integration.
More Isabelle/Scala system programming modules (e.g. SSH, Mercurial).
+* Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,
+ Ecole polytechnique, Andreas Lochbihler, ETH Zurich, Andrei Popescu,
+ Middlesex University, and Dmitriy Traytel, ETH Zurich
+ 'corec' command and friends.
+
* January 2016: Florian Haftmann, TUM
Abolition of compound operators INFIMUM and SUPREMUM for complete lattices.
@@ -59,11 +64,6 @@
Contributions to Isabelle2016
-----------------------------
-* Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,
- Ecole polytechnique, Andreas Lochbihler, ETH Zurich, Andrei Popescu,
- Middlesex University, and Dmitriy Traytel, ETH Zurich
- 'corec' command and friends.
-
* Winter 2016: Manuel Eberl, TUM
Support for real exponentiation ("powr") in the "approximation" method.
(This was removed in Isabelle 2015 due to a changed definition of "powr".)