1.1 --- a/doc-src/manual.bib	Sun Oct 31 15:25:55 1999 +0100
     1.2 +++ b/doc-src/manual.bib	Sun Oct 31 15:26:37 1999 +0100
     1.3 @@ -950,6 +950,13 @@
     1.4    crossref	= {bledsoe-fest},
     1.5    pages		= {297-342}}
     1.6  
     1.7 +@InProceedings{Zammit:1999:TPHOL,
     1.8 +  author = 	 {Vincent Zammit},
     1.9 +  title = 	 {On the Implementation of an Extensible Declarative Proof Language},
    1.10 +  crossref =     {tphols99}}
    1.11 +
    1.12 +%Z
    1.13 +
    1.14  
    1.15  % CROSS REFERENCES
    1.16