more CONTRIBUTORS;
authorwenzelm
Sun Apr 15 14:51:15 2012 +0200 (2012-04-15)
changeset 474850b4698a31e9a
parent 47484 e94cc23d434a
child 47486 4d49f3ffe97e
more CONTRIBUTORS;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Sun Apr 15 14:50:09 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Sun Apr 15 14:51:15 2012 +0200
     1.3 @@ -21,6 +21,7 @@
     1.4    (Re-)Introduction of the "set" type constructor.
     1.5  
     1.6  * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI
     1.7 +  Various refinements of local theory infrastructure.
     1.8    Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE.
     1.9  
    1.10