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

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

diff --git a/helm/style/basic.xsl b/helm/style/basic.xsl
index a6150ff40ede74da2a3a286b87d8cc0b443e12ef..6a1972c5332251bb0c78d1d17c511eb3233c98ae 100644 (file)
--- a/helm/style/basic.xsl
+++ b/helm/style/basic.xsl
@@ -238,8 +238,3 @@ and (count(child::*) = 2) and APPLY[MUTIND[attribute::uri='cic:/Coq/Init/Logic_T
 <!-- see arith.xsl --> <!-- FG -->
 
 </xsl:stylesheet>
-
-
-
-
-