--- 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},