CONTRIBUTORS
changeset 53164 beb4ee344c22
parent 52896 73e32ed924b3
child 53307 221ff2b39a35
     1.1 --- a/CONTRIBUTORS	Fri Aug 23 12:30:51 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Aug 23 12:40:55 2013 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4    Ephemeral interpretation in local theories.
     1.5  
     1.6  * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM
     1.7 -  HOL-Spec_Check: A Quickcheck tool for Isabelle's ML environment.
     1.8 +  Spec_Check: A Quickcheck tool for Isabelle/ML.
     1.9  
    1.10  * April 2013: Stefan Berghofer, secunet Security Networks AG
    1.11    Dmitriy Traytel, TUM