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