CONTRIBUTORS
changeset 70955 73ae8c30c6cb
parent 70265 a8238fd25541
child 71264 0c454a5d125d
equal deleted inserted replaced
70954:23e6eef4e6aa 70955:73ae8c30c6cb
     4 
     4 
     5 
     5 
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
     8 
     8 
       
     9 * October 2019: Maximilian Schäffeler
       
    10   Port of the HOL Light decision procedure for metric spaces.
     9 
    11 
    10 Contributions to Isabelle2019
    12 Contributions to Isabelle2019
    11 -----------------------------
    13 -----------------------------
    12 
    14 
    13 * April 2019: LC Paulson
    15 * April 2019: LC Paulson