changeset 7989 | 50ca726466c6 |
parent 7966 | 4db0cdd752f7 |
child 7991 | 966efa3bb851 |
--- 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