Wenzel:2001:Isar-examples;

--- a/src/HOL/ex/document/root.bib	Fri Dec 14 22:27:43 2001 +0100
+++ b/src/HOL/ex/document/root.bib	Fri Dec 14 22:27:58 2001 +0100
@@ -48,6 +48,14 @@
   volume        = 1690,
   year          = 1999}
 
+@Unpublished{Wenzel:2001:Isar-examples,
+  author =       {Markus Wenzel},
+  title =        {Miscellaneous {I}sabelle/{I}sar examples for
+                  Higher-Order Logic},
+  year =         2001,
+  note =         {Part of the Isabelle distribution,
+                  \url{http://isabelle.in.tum.de/library/HOL/Isar_examples/document.pdf}}
+}
 @PhdThesis{Wenzel:2001:Thesis,
   author = 	 {Markus Wenzel},
   title = 	 {Isabelle/Isar --- a versatile environment for human-readable