X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent.xsl;h=9aea96b3c5fa41b239b1a5c3c82881ca42c90f9b;hb=7e9ee837f75f38bf01240cdc03dd51c764c2665f;hp=d557cb5e87f57b043aa424746b34cdd547b9ab19;hpb=b72beb68cf0c34cb0785ad7e2a4c426494e29e6a;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index d557cb5e8..9aea96b3c 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -62,38 +62,6 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
-
-
-
-
@@ -113,27 +81,17 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
-
+
let_in
@@ -147,46 +105,17 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
-
+
@@ -222,6 +151,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
cast
@@ -229,12 +159,14 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
+
@@ -243,6 +175,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
app
@@ -250,6 +183,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
@@ -392,6 +342,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+