# HG changeset patch
# User wenzelm
# Date 1212439827 -7200
# Node ID 22dcf2fc0aa2235c2551aeb0e67214fc5a758369
# Parent  3d3e6e07b93128490ad150c425e01db478f14548
tuned spacing;

diff -r 3d3e6e07b931 -r 22dcf2fc0aa2 doc-src/IsarRef/Thy/HOL_Specific.thy
--- a/doc-src/IsarRef/Thy/HOL_Specific.thy	Mon Jun 02 22:50:23 2008 +0200
+++ b/doc-src/IsarRef/Thy/HOL_Specific.thy	Mon Jun 02 22:50:27 2008 +0200
@@ -1140,4 +1140,3 @@
 *}
 
 end
-