doc-src/manual.bib
changeset 7991 966efa3bb851
parent 7989 50ca726466c6
child 8003 5244d7ed31b9
--- 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,