src/Pure/Examples/document/root.bib

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Examples/document/root.bib	Mon Jun 08 15:09:57 2020 +0200
@@ -0,0 +1,15 @@
+@article{church40,
+  author	= "Alonzo Church",
+  title		= "A Formulation of the Simple Theory of Types",
+  journal	= "Journal of Symbolic Logic",
+  year		= 1940,
+  volume	= 5,
+  pages		= "56-68"}
+
+@TechReport{Gordon:1985:HOL,
+  author =       {M. J. C. Gordon},
+  title =        {{HOL}: A machine oriented formulation of higher order logic},
+  institution =  {University of Cambridge Computer Laboratory},
+  year =         1985,
+  number =       68
+}