CONTRIBUTORS
changeset 47563 01f687b84aff
parent 47485 0b4698a31e9a
child 47567 407cabf66f21
     1.1 --- a/CONTRIBUTORS	Wed Apr 18 22:40:25 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Apr 18 22:40:25 2012 +0200
     1.3 @@ -17,9 +17,13 @@
     1.4    Alexander Krauss, QAware GmbH
     1.5    Faster and more scalable Import mechanism for HOL Light proofs.
     1.6  
     1.7 -* January 2012: Florian Haftmann, TUM, et. al.
     1.8 +* January 2012: Florian Haftmann, TUM, et al.
     1.9    (Re-)Introduction of the "set" type constructor.
    1.10  
    1.11 +* 2011/2012: Jasmin Blanchette, TUM
    1.12 +  Various improvements to Sledgehammer, notably: tighter integration
    1.13 +  with SPASS, support for more provers (Alt-Ergo, iProver, iProver-Eq).
    1.14 +
    1.15  * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI
    1.16    Various refinements of local theory infrastructure.
    1.17    Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE.