# HG changeset patch
# User wenzelm
# Date 971914797 -7200
# Node ID 6086be03a80bdd21ac553537ac6955ad6511bedd
# Parent  cc20c9d7e682219bf18a596a4712e6f309d7782d
tuned;

diff -r cc20c9d7e682 -r 6086be03a80b src/HOL/Library/document/root.bib
--- a/src/HOL/Library/document/root.bib	Thu Oct 19 01:48:26 2000 +0200
+++ b/src/HOL/Library/document/root.bib	Thu Oct 19 02:19:57 2000 +0200
@@ -1,7 +1,7 @@
 
 @InProceedings{Slotosch:1997,
   author = 	 {Oscar Slotosch},
-  title = 	 {FIXME},
+  title = 	 {Higher Order Quotients and their Implementation in {Isabelle HOL}},
   crossref =     {tphols97}}
 
 @InProceedings{paulin-tlca,