1.1 --- a/doc-src/manual.bib	Thu Jan 06 05:15:26 2005 +0100
     1.2 +++ b/doc-src/manual.bib	Sat Jan 08 09:30:16 2005 +0100
     1.3 @@ -716,6 +716,17 @@
     1.4    pages		= {171-186},
     1.5    year		= 1998}
     1.6  
     1.7 +@inproceedings{Nipkow-TYPES02,
     1.8 +  author        = {Tobias Nipkow},
     1.9 +  title         = {{Structured Proofs in Isar/HOL}},
    1.10 +  booktitle     = {Types for Proofs and Programs (TYPES 2002)},
    1.11 +  editor        = {H. Geuvers and F. Wiedijk},
    1.12 +  year          = 2003,
    1.13 +  publisher     = Springer,
    1.14 +  series        = LNCS,
    1.15 +  volume        = 2646,
    1.16 +  pages         = {259-278}}
    1.17 +
    1.18  @manual{isabelle-HOL,
    1.19    author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
    1.20    title		= {{Isabelle}'s Logics: {HOL}},