CONTRIBUTORS
changeset 68247 b48bab511939
parent 68200 5859c688102a
child 68392 9b4f60bdad54
     1.1 --- a/CONTRIBUTORS	Tue May 22 11:05:47 2018 +0200
     1.2 +++ b/CONTRIBUTORS	Fri May 18 17:51:58 2018 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* May 2018: Manuel Eberl
     1.8 +  Landau symbols and asymptotic equivalence (moved from the AFP)
     1.9 +
    1.10  * May 2018: Jose Divasón (Universidad de la Rioja),
    1.11    Jesús Aransay (Universidad de la Rioja), Johannes Hölzl (VU Amsterdam),
    1.12    Fabian Immler (TUM)