CONTRIBUTORS
changeset 52266 86d6f57c2c1e
parent 51682 bdaa1582dc8b
child 52485 eed5cbe46f52
     1.1 --- a/CONTRIBUTORS	Thu May 30 23:29:33 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Fri May 31 07:30:23 2013 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM
     1.8 +  HOL-Spec_Check: A Quickcheck tool for Isabelle's ML environment.
     1.9 +
    1.10  * April 2013: Stefan Berghofer, secunet Security Networks AG
    1.11    Dmitriy Traytel, TUM
    1.12    Makarius Wenzel, Université Paris-Sud / LRI