1.1 --- a/CONTRIBUTORS	Sun Jan 20 13:59:13 2013 +0100
     1.2 +++ b/CONTRIBUTORS	Sun Jan 20 14:00:05 2013 +0100
     1.3 @@ -18,7 +18,7 @@
     1.4    including a smart type annotation algorithm and proof shrinking.
     1.5  
     1.6  * December 2012: Alessandro Coglio, Kestrel
     1.7 -  Contributions to HOL's Lattice library
     1.8 +  Contributions to HOL's Lattice library.
     1.9  
    1.10  * November 2012: Fabian Immler, TUM
    1.11    "Symbols" dockable for Isabelle/jEdit.