# HG changeset patch
# User wenzelm
# Date 941379997 -3600
# Node ID 50ca726466c6bf7bd28dab745e2eba1279b38737
# Parent  feea893b47c7a9b94a7722049c99fdbcf43fb86d
updated;

diff -r feea893b47c7 -r 50ca726466c6 doc-src/manual.bib
--- 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