# HG changeset patch
# User wenzelm
# Date 1227028969 -3600
# Node ID c6b17889237a5aaacd63f378548ea96f1cb6d826
# Parent  dd361ca41f69fa1f3174fbe46da5a21db77bd0fa
added isabelle-implementation manual;

diff -r dd361ca41f69 -r c6b17889237a doc-src/manual.bib
--- 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},