# HG changeset patch
# User wenzelm
# Date 1412715289 -7200
# Node ID 7a2c567061b389bafe662ab3f6d22b978b162640
# Parent  7435b6a3f72e789691ce80efe11e09735734f0c6
tuned whitespace;

diff -r 7435b6a3f72e -r 7a2c567061b3 src/HOL/ex/document/root.bib
--- 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},