CONTRIBUTORS
changeset 52485 eed5cbe46f52
parent 52266 86d6f57c2c1e
child 52503 750b63fa4c4e
equal deleted inserted replaced
52484:23a09c639700 52485:eed5cbe46f52
     3 who is listed as an author in one of the source files of this Isabelle
     3 who is listed as an author in one of the source files of this Isabelle
     4 distribution.
     4 distribution.
     5 
     5 
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
       
     8 
       
     9 * May 2013: Florian Haftmann, TUM
       
    10   Ephemeral interpretation in local theories.
     8 
    11 
     9 * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM
    12 * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM
    10   HOL-Spec_Check: A Quickcheck tool for Isabelle's ML environment.
    13   HOL-Spec_Check: A Quickcheck tool for Isabelle's ML environment.
    11 
    14 
    12 * April 2013: Stefan Berghofer, secunet Security Networks AG
    15 * April 2013: Stefan Berghofer, secunet Security Networks AG