diff -r 651355113eee -r f1192e3474e0 Pearl-jv/document/root.bib
--- a/Pearl-jv/document/root.bib	Tue Mar 08 09:07:49 2011 +0000
+++ b/Pearl-jv/document/root.bib	Fri Mar 11 08:51:39 2011 +0000
@@ -164,3 +164,8 @@
   pages = 	 {299--320}
 }
 
+@Manual{Wenzel04,
+  title = 	 {{U}sing {A}xiomatic {T}ype {C}lasses in {I}sabelle},
+  author = 	 {M.~Wenzel},
+  note = 	 {Manual in the Isabelle distribution.}
+}
\ No newline at end of file