1.1 --- a/doc-src/manual.bib	Tue May 26 13:40:49 2009 +0200
     1.2 +++ b/doc-src/manual.bib	Tue May 26 13:40:50 2009 +0200
     1.3 @@ -1344,14 +1344,6 @@
     1.4    institution	= {TU Munich},
     1.5    note          = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}
     1.6  
     1.7 -@manual{isabelle-axclass,
     1.8 -  author	= {Markus Wenzel},
     1.9 -  title		= {Using Axiomatic Type Classes in {I}sabelle},
    1.10 -  institution	= {TU Munich},
    1.11 -  year          = 2000,
    1.12 -  note          = {\url{http://isabelle.in.tum.de/doc/axclass.pdf}}}
    1.13 -
    1.14 -
    1.15  @InProceedings{Wenzel:1999:TPHOL,
    1.16    author = 	 {Markus Wenzel},
    1.17    title = 	 {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents},