1.1 --- a/CONTRIBUTORS	Wed Aug 22 12:47:53 2018 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Aug 22 14:44:15 2018 +0200
     1.3 @@ -3,6 +3,62 @@
     1.4  listed as an author in one of the source files of this Isabelle distribution.
     1.5  
     1.6  
     1.7 +Contributions to Isabelle2018
     1.8 +-----------------------------
     1.9 +
    1.10 +* July 2018: Manuel Eberl
    1.11 +  "real_asymp" proof method for automatic proofs of real limits, "Big-O"
    1.12 +  statements, etc.
    1.13 +
    1.14 +* June 2018: Fabian Immler
    1.15 +  More tool support for HOL-Types_To_Sets.
    1.16 +
    1.17 +* June 2018: Martin Baillon and Paulo Emílio de Vilhena
    1.18 +  A variety of contributions to HOL-Algebra.
    1.19 +
    1.20 +* June 2018: Wenda Li
    1.21 +  New/strengthened results involving analysis, topology, etc.
    1.22 +
    1.23 +* May/June 2018: Makarius Wenzel
    1.24 +  System infrastructure to export blobs as theory presentation, and to dump
    1.25 +  PIDE database content in batch mode.
    1.26 +
    1.27 +* May 2018: Manuel Eberl
    1.28 +  Landau symbols and asymptotic equivalence (moved from the AFP).
    1.29 +
    1.30 +* May 2018: Jose Divasón (Universidad de la Rioja),
    1.31 +  Jesús Aransay (Universidad de la Rioja), Johannes Hölzl (VU Amsterdam),
    1.32 +  Fabian Immler (TUM)
    1.33 +  Generalizations in the formalization of linear algebra.
    1.34 +
    1.35 +* May 2018: Florian Haftmann
    1.36 +  Consolidation of string-like types in HOL.
    1.37 +
    1.38 +* May 2018: Andreas Lochbihler (Digital Asset),
    1.39 +  Pascal Stoop (ETH Zurich)
    1.40 +  Code generation with lazy evaluation semantics.
    1.41 +
    1.42 +* March 2018: Florian Haftmann
    1.43 +  Abstract bit operations push_bit, take_bit, drop_bit, alongside with an
    1.44 +  algebraic foundation for bit strings and word types in HOL-ex.
    1.45 +
    1.46 +* March 2018: Viorel Preoteasa
    1.47 +  Generalisation of complete_distrib_lattice
    1.48 +
    1.49 +* February 2018: Wenda Li
    1.50 +  A unified definition for the order of zeros and poles. Improved reasoning
    1.51 +  around non-essential singularities.
    1.52 +
    1.53 +* January 2018: Sebastien Gouezel
    1.54 +  Various small additions to HOL-Analysis
    1.55 +
    1.56 +* December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel
    1.57 +  A new conditional parametricity prover.
    1.58 +
    1.59 +* October 2017: Alexander Maletzky
    1.60 +  Derivation of axiom "iff" in theory HOL.HOL from the other axioms.
    1.61 +
    1.62 +
    1.63  Contributions to Isabelle2017
    1.64  -----------------------------
    1.65