----------------------------------------------------------------------

[helm.git] / helm / style / proofs.xsl

diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 6ed01233d8d38c283c8111af71bdf1b3dd197010..b3596889174ce264678da62bc43b315c02b01599 100644 (file)
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -575,9 +575,3 @@
 
 
 </xsl:stylesheet>
-
-
-
-
-
-