Mercurial Mercurial > hg > nominal2 / 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.
Quotient-Paper/document/root.bib
changeset 2226 36c9d9e658c7
parent 2220 2c4c0d93daa6
child 2237 d1ab5d2d6926 
--- a/Quotient-Paper/document/root.bib	Sat Jun 12 06:35:27 2010 +0200
+++ b/Quotient-Paper/document/root.bib	Sat Jun 12 11:32:36 2010 +0200
@@ -37,7 +37,7 @@
   author    = {Laurent Chicli and
                Loic Pottier and
                Carlos Simpson},
-  title     = {Mathematical Quotients and Quotient Types in Coq},
+  title     = {{M}athematical {Q}uotients and {Q}uotient {T}ypes in {C}oq},
   booktitle = {TYPES},
   year      = {2002},
   pages     = {95-107},
nominal2