# 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 -