CONTRIBUTORS
changeset 50573 765c22baa1c9
parent 50222 40e3c3be6bca
child 50648 3fa343c5bc0a
     1.1 --- a/CONTRIBUTORS	Sun Dec 16 22:10:37 2012 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Dec 17 08:19:35 2012 +0100
     1.3 @@ -17,6 +17,9 @@
     1.4    Various improvements to Sledgehammer's Isar proof generator, including
     1.5    a smart type annotation algorithm and proof shrinking.
     1.6  
     1.7 +* December 2012: Alessandro Coglio, Kestrel
     1.8 +  Contributions to HOL's Lattice library
     1.9 +
    1.10  * November 2012: Fabian Immler, TUM
    1.11    "Symbols" dockable for Isabelle/jEdit.
    1.12