CONTRIBUTORS
changeset 64363 90ceace1e814
parent 64072 9f96e4da3064
child 64389 6273d4c8325b
     1.1 --- a/CONTRIBUTORS	Sun Oct 23 16:44:17 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Oct 24 13:50:12 2016 +0200
     1.3 @@ -44,6 +44,9 @@
     1.4    quantifier-free propositional logic, equality and linear real
     1.5    arithmetic
     1.6  
     1.7 +* October 2016: Jaime Mendizabal Roche
     1.8 +  Ported remaining theories of Old_Number_Theory to the new 
     1.9 +  Number_Theory and removed Old_Number_Theory.
    1.10  
    1.11  Contributions to Isabelle2016
    1.12  -----------------------------