Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
inserted {...}
authorpaulson
Mon, 01 Nov 1999 12:48:54 +0100
changeset 7991 966efa3bb851
parent 7990 0a604b2fc2b1
child 7992 6f49fe89bfe1
inserted {...}
doc-src/manual.bib file | annotate | diff | comparison | revisions 
--- a/doc-src/manual.bib	Sun Oct 31 20:11:23 1999 +0100
+++ b/doc-src/manual.bib	Mon Nov 01 12:48:54 1999 +0100
@@ -636,7 +636,8 @@
 %replaces paulson-final
 @Article{paulson-mscs,
   author	= {Lawrence C. Paulson},
-  title		= {Final Coalgebras as Greatest Fixed Points in ZF Set Theory},
+  title = 	 {Final Coalgebras as Greatest Fixed Points 
+                  in {ZF} Set Theory},
   journal	= {Mathematical Structures in Computer Science},
   year		= 1999,
   volume	= 9,
isabelle