updated;

--- a/doc-src/manual.bib	Sun Oct 31 15:25:55 1999 +0100
+++ b/doc-src/manual.bib	Sun Oct 31 15:26:37 1999 +0100
@@ -950,6 +950,13 @@
   crossref	= {bledsoe-fest},
   pages		= {297-342}}
 
+@InProceedings{Zammit:1999:TPHOL,
+  author = 	 {Vincent Zammit},
+  title = 	 {On the Implementation of an Extensible Declarative Proof Language},
+  crossref =     {tphols99}}
+
+%Z
+
 
 % CROSS REFERENCES