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