1.1 --- a/doc-src/manual.bib	Wed Oct 13 19:43:52 1999 +0200
     1.2 +++ b/doc-src/manual.bib	Wed Oct 13 19:44:15 1999 +0200
     1.3 @@ -618,11 +618,6 @@
     1.4    title		= {The {Isabelle} Reference Manual},
     1.5    institution	= CUCL}
     1.6  
     1.7 -@manual{isabelle-sys,
     1.8 -  author	= {Markus Wenzel and Stefan Berghofer},
     1.9 -  title		= {The {Isabelle} System Manual},
    1.10 -  institution	= CUCL}
    1.11 -
    1.12  @manual{isabelle-ZF,
    1.13    author	= {Lawrence C. Paulson},
    1.14    title		= {{Isabelle}'s Logics: {FOL} and {ZF}},
    1.15 @@ -913,6 +908,17 @@
    1.16  
    1.17  %W
    1.18  
    1.19 +@manual{isabelle-sys,
    1.20 +  author	= {Markus Wenzel and Stefan Berghofer},
    1.21 +  title		= {The {Isabelle} System Manual},
    1.22 +  institution	= TUM}
    1.23 +
    1.24 +@manual{isabelle-isar-ref,
    1.25 +  author	= {Markus Wenzel},
    1.26 +  title		= {The {Isabelle Isar} Reference Manual},
    1.27 +  institution	= TUM}
    1.28 +
    1.29 +
    1.30  @InProceedings{Wenzel:1999:TPHOL,
    1.31    author = 	 {Markus Wenzel},
    1.32    title = 	 {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents},