CONTRIBUTORS
changeset 68630 c55f6f0b3854
parent 68548 a22540ac7052
child 68683 d69127c6e80f
     1.1 --- a/CONTRIBUTORS	Sun Jul 15 01:14:04 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Sun Jul 15 14:46:57 2018 +0200
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to Isabelle2018
     1.5  -----------------------------
     1.6  
     1.7 +* July 2018: Manuel Eberl
     1.8 +  "real_asymp" proof method for automatic proofs of real limits, "Big-O"
     1.9 +  statements, etc.
    1.10 +
    1.11  * June 2018: Fabian Immler
    1.12    More tool support for HOL-Types_To_Sets.
    1.13