X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fbasic.xsl;h=a9d82ddac4e28bc9054d5ba68ff79c093866e415;hb=4020414d9bc31b545e311760045d4ce8f0645916;hp=a6150ff40ede74da2a3a286b87d8cc0b443e12ef;hpb=f2cebe226562e9b3a6e4802a3b5ff6b3b9d9b277;p=helm.git
diff --git a/helm/style/basic.xsl b/helm/style/basic.xsl
index a6150ff40..a9d82ddac 100644
--- a/helm/style/basic.xsl
+++ b/helm/style/basic.xsl
@@ -178,19 +178,17 @@
-
+
-
-
+
-
@@ -238,8 +236,3 @@ and (count(child::*) = 2) and APPLY[MUTIND[attribute::uri='cic:/Coq/Init/Logic_T
-
-
-
-
-