CONTRIBUTORS
changeset 64363 90ceace1e814
parent 64072 9f96e4da3064
child 64389 6273d4c8325b
equal deleted inserted replaced
64362:8a0fe5469ba0 64363:90ceace1e814
    42 * September 2016: Sascha Boehme
    42 * September 2016: Sascha Boehme
    43   Proof method 'argo' based on SMT technology for a combination of
    43   Proof method 'argo' based on SMT technology for a combination of
    44   quantifier-free propositional logic, equality and linear real
    44   quantifier-free propositional logic, equality and linear real
    45   arithmetic
    45   arithmetic
    46 
    46 
       
    47 * October 2016: Jaime Mendizabal Roche
       
    48   Ported remaining theories of Old_Number_Theory to the new 
       
    49   Number_Theory and removed Old_Number_Theory.
    47 
    50 
    48 Contributions to Isabelle2016
    51 Contributions to Isabelle2016
    49 -----------------------------
    52 -----------------------------
    50 
    53 
    51 * Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,
    54 * Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,