--- a/doc-src/IsarRef/isar-ref.tex Sun Oct 31 15:20:35 1999 +0100
+++ b/doc-src/IsarRef/isar-ref.tex Sun Oct 31 15:25:55 1999 +0100
@@ -87,6 +87,7 @@
\nocite{Syme:1997:DECLARE}
\nocite{Syme:1998:thesis}
\nocite{Syme:1999:TPHOL}
+\nocite{Zammit:1999:TPHOL}
\include{intro}
\include{basics}