new contributor
authornipkow
Mon Dec 17 08:19:35 2012 +0100 (2012-12-17)
changeset 50573765c22baa1c9
parent 50572 b33912e68b84
child 50574 0706797501a0
child 50577 cfbad2d08412
new contributor
CONTRIBUTORS
src/HOL/Library/Product_Lattice.thy
     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  
     2.1 --- a/src/HOL/Library/Product_Lattice.thy	Sun Dec 16 22:10:37 2012 +0100
     2.2 +++ b/src/HOL/Library/Product_Lattice.thy	Mon Dec 17 08:19:35 2012 +0100
     2.3 @@ -222,7 +222,7 @@
     2.4  
     2.5  subsection {* Complete distributive lattices *}
     2.6  
     2.7 -(* Contribution: Allesandro Coglio *)
     2.8 +(* Contribution: Alessandro Coglio *)
     2.9  
    2.10  instance prod ::
    2.11    (complete_distrib_lattice, complete_distrib_lattice) complete_distrib_lattice