CONTRIBUTORS
changeset 73079 66d775f7a6e8
parent 73018 662f286492b1
child 73108 981a383610df
equal deleted inserted replaced
73078:824815ec52aa 73079:66d775f7a6e8
     5 
     5 
     6 Contributions to Isabelle2021
     6 Contributions to Isabelle2021
     7 -----------------------------
     7 -----------------------------
     8 
     8 
     9 * December 2020: Stepan Holub
     9 * December 2020: Stepan Holub
    10   Contributed lemmas for List
    10   Contributed lemmas for theory HOL.List.
    11 
    11 
    12 * December 2020: Martin Desharnais
    12 * December 2020: Martin Desharnais
    13   Zipperposition 2.0 as external prover for Sledgehammer.
    13   Zipperposition 2.0 as external prover for Sledgehammer.
    14 
    14 
    15 * December 2020: Walter Guttmann
    15 * December 2020: Walter Guttmann