Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Product_Lattice.thy
changeset 50573 765c22baa1c9
parent 50535 2464d77527c4 
--- a/src/HOL/Library/Product_Lattice.thy	Sun Dec 16 22:10:37 2012 +0100
+++ b/src/HOL/Library/Product_Lattice.thy	Mon Dec 17 08:19:35 2012 +0100
@@ -222,7 +222,7 @@
 
 subsection {* Complete distributive lattices *}
 
-(* Contribution: Allesandro Coglio *)
+(* Contribution: Alessandro Coglio *)
 
 instance prod ::
   (complete_distrib_lattice, complete_distrib_lattice) complete_distrib_lattice
isabelle