--- a/src/HOL/ex/document/root.bib Tue Oct 07 22:35:11 2014 +0200
+++ b/src/HOL/ex/document/root.bib Tue Oct 07 22:54:49 2014 +0200
@@ -1,6 +1,3 @@
-
-
-
@TechReport{Gordon:1985:HOL,
author = {M. J. C. Gordon},
title = {{HOL}: A machine oriented formulation of higher order logic},