--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/CookBook/document/cookbook.bib	Fri Sep 05 09:47:51 2008 +0200
@@ -0,0 +1,6 @@
+
+@manual{isa-imp,
+  author	= {Makarius Wenzel},
+  title		= {The {Isabelle/Isar} Implementation},
+  institution	= {Technische Universit\"at M\"unchen},
+  note          = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}