# HG changeset patch
# User paulson
# Date 941456934 -3600
# Node ID 966efa3bb851dbfac693d61792fc995433d00c12
# Parent  0a604b2fc2b1df524a3cf81f5a7b2255b19fda92
inserted {...}

diff -r 0a604b2fc2b1 -r 966efa3bb851 doc-src/manual.bib
--- 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,