--- a/doc-src/manual.bib Tue Nov 18 13:19:13 2008 +0100
+++ b/doc-src/manual.bib Tue Nov 18 18:22:49 2008 +0100
@@ -1295,11 +1295,17 @@
note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}}
@manual{isabelle-isar-ref,
- author = {Markus Wenzel},
+ author = {Makarius Wenzel},
title = {The {Isabelle/Isar} Reference Manual},
institution = {TU Munich},
note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}}
+@manual{isabelle-implementation,
+ author = {Makarius Wenzel},
+ title = {The {Isabelle/Isar} Implementation},
+ institution = {TU Munich},
+ note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}
+
@manual{isabelle-axclass,
author = {Markus Wenzel},
title = {Using Axiomatic Type Classes in {I}sabelle},