X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent.xsl;h=e4712613802889706116468f0ebbab55ec97ecfc;hb=edeecdcf2cb51318a7d4c608652f4f988e80f66f;hp=d557cb5e87f57b043aa424746b34cdd547b9ab19;hpb=b72beb68cf0c34cb0785ad7e2a4c426494e29e6a;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index d557cb5e8..e47126138 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,28 +81,20 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
-
-
+
-
+
+
+
let_in
@@ -143,50 +103,21 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
-
+
+
-
+
@@ -222,6 +153,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
cast
@@ -229,12 +161,14 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
+
@@ -243,6 +177,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
app
@@ -250,6 +185,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
@@ -392,6 +359,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+