--- a/src/HOL/Library/document/root.bib Thu May 31 16:52:47 2001 +0200
+++ b/src/HOL/Library/document/root.bib Thu May 31 16:52:54 2001 +0200
@@ -1,4 +1,3 @@
-
@InProceedings{paulin-tlca,
author = {Christine Paulin-Mohring},
title = {Inductive Definitions in the System {Coq}: Rules and