# HG changeset patch
# User wenzelm
# Date 1014158966 -3600
# Node ID 2be514a36aecb31d805e6bec442ae0bc96734cb1
# Parent  7d5b690253eee681426cdafc29279d44d1c841b5
Paulson:1989;

diff -r 7d5b690253ee -r 2be514a36aec src/HOL/ex/document/root.bib
--- a/src/HOL/ex/document/root.bib	Tue Feb 19 23:45:54 2002 +0100
+++ b/src/HOL/ex/document/root.bib	Tue Feb 19 23:49:26 2002 +0100
@@ -38,6 +38,16 @@
                    \url{http://isabelle.in.tum.de/doc/logics-HOL.pdf}}
 }
 
+@Article{Paulson:1989,
+  author =       {L. C. Paulson},
+  title =        {The foundation of a generic Theorem Prover},
+  journal =      {Journal of Automated Reasoning},
+  year =         1989,
+  volume =       5,
+  number =       3,
+  pages =        {363--397}
+}
+
 @InProceedings{Wenzel:1999,
   author =       {Markus Wenzel},
   title =        {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents},