CONTRIBUTORS
changeset 53164 beb4ee344c22
parent 52896 73e32ed924b3
child 53307 221ff2b39a35
equal deleted inserted replaced
53163:7c2b13a53d69 53164:beb4ee344c22
    12 
    12 
    13 * May 2013: Florian Haftmann, TUM
    13 * May 2013: Florian Haftmann, TUM
    14   Ephemeral interpretation in local theories.
    14   Ephemeral interpretation in local theories.
    15 
    15 
    16 * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM
    16 * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM
    17   HOL-Spec_Check: A Quickcheck tool for Isabelle's ML environment.
    17   Spec_Check: A Quickcheck tool for Isabelle/ML.
    18 
    18 
    19 * April 2013: Stefan Berghofer, secunet Security Networks AG
    19 * April 2013: Stefan Berghofer, secunet Security Networks AG
    20   Dmitriy Traytel, TUM
    20   Dmitriy Traytel, TUM
    21   Makarius Wenzel, Université Paris-Sud / LRI
    21   Makarius Wenzel, Université Paris-Sud / LRI
    22   Case translations as a separate check phase independent of the
    22   Case translations as a separate check phase independent of the