1.1 --- a/doc-src/manual.bib	Wed Jan 02 21:51:38 2002 +0100
     1.2 +++ b/doc-src/manual.bib	Wed Jan 02 21:52:15 2002 +0100
     1.3 @@ -790,6 +790,18 @@
     1.4    month		= mar,
     1.5    pages		= {175-204}}
     1.6  
     1.7 +@manual{isabelle-intro,
     1.8 +  author	= {Lawrence C. Paulson},
     1.9 +  title		= {Introduction to {Isabelle}},
    1.10 +  institution	= CUCL,
    1.11 +  note          = {\url{http://isabelle.in.tum.de/doc/intro.pdf}}}
    1.12 +
    1.13 +@manual{isabelle-logics,
    1.14 +  author	= {Lawrence C. Paulson},
    1.15 +  title		= {{Isabelle's} Logics},
    1.16 +  institution	= CUCL,
    1.17 +  note          = {\url{http://isabelle.in.tum.de/doc/logics.pdf}}}
    1.18 +
    1.19  @manual{isabelle-ref,
    1.20    author	= {Lawrence C. Paulson},
    1.21    title		= {The {Isabelle} Reference Manual},