--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Induct/document/root.bib	Fri Dec 29 18:09:38 2017 +0100
@@ -0,0 +1,10 @@
+@string{CUCL="Computer Laboratory, University of Cambridge"}
+
+@TechReport{camilleri92,
+  author	= {J. Camilleri and T. F. Melham},
+  title		= {Reasoning with Inductively Defined Relations in the
+		 {HOL} Theorem Prover},
+  institution	= CUCL,
+  year		= 1992,
+  number	= 265,
+  month		= Aug}