# HG changeset patch
# User wenzelm
# Date 1008365278 -3600
# Node ID 698394a2a47f1b045eacb47e23f4d1284b9c9a1b
# Parent  cc36d5da9bc07521dec5346dcd1708cc23e311d3
Wenzel:2001:Isar-examples;

diff -r cc36d5da9bc0 -r 698394a2a47f src/HOL/ex/document/root.bib
--- 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