# HG changeset patch
# User wenzelm
# Date 1394188885 -3600
# Node ID 471a71017cfc7481792728aed4b6a22b06a3efcc
# Parent  51b342baecdad1c40556cab335fa73753b89cb6d
tuned whitespace;

diff -r 51b342baecda -r 471a71017cfc src/HOL/ROOT
--- a/src/HOL/ROOT	Fri Mar 07 11:34:41 2014 +0100
+++ b/src/HOL/ROOT	Fri Mar 07 11:41:25 2014 +0100
@@ -213,7 +213,6 @@
     Verification of imperative programs (verification conditions are generated
     automatically from pre/post conditions and loop invariants).
   *}
-
   theories Hoare
   files "document/root.bib" "document/root.tex"