src/HOL/Library/document/root.bib
changeset 10270 6086be03a80b
parent 10253 73b46b18c348
child 10285 6949e17f314a
     1.1 --- a/src/HOL/Library/document/root.bib	Thu Oct 19 01:48:26 2000 +0200
     1.2 +++ b/src/HOL/Library/document/root.bib	Thu Oct 19 02:19:57 2000 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  
     1.5  @InProceedings{Slotosch:1997,
     1.6    author = 	 {Oscar Slotosch},
     1.7 -  title = 	 {FIXME},
     1.8 +  title = 	 {Higher Order Quotients and their Implementation in {Isabelle HOL}},
     1.9    crossref =     {tphols97}}
    1.10  
    1.11  @InProceedings{paulin-tlca,