1.1 --- a/src/HOL/ex/document/root.bib	Tue Feb 19 23:45:54 2002 +0100
     1.2 +++ b/src/HOL/ex/document/root.bib	Tue Feb 19 23:49:26 2002 +0100
     1.3 @@ -38,6 +38,16 @@
     1.4                     \url{http://isabelle.in.tum.de/doc/logics-HOL.pdf}}
     1.5  }
     1.6  
     1.7 +@Article{Paulson:1989,
     1.8 +  author =       {L. C. Paulson},
     1.9 +  title =        {The foundation of a generic Theorem Prover},
    1.10 +  journal =      {Journal of Automated Reasoning},
    1.11 +  year =         1989,
    1.12 +  volume =       5,
    1.13 +  number =       3,
    1.14 +  pages =        {363--397}
    1.15 +}
    1.16 +
    1.17  @InProceedings{Wenzel:1999,
    1.18    author =       {Markus Wenzel},
    1.19    title =        {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents},