X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent.xsl;h=d36e0152aef666a62880876ec6f8b02d043dbaa1;hb=8dd44f97c9c97ae32bc91288a9d08c00ef63c965;hp=948cbbaecc1989cdadcdf89c915160c72063d84c;hpb=fd98b68b3d650913fc08e269ed03459d06648ca8;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 948cbbaec..d36e0152a 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -63,7 +63,14 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
- prod
+
+
+ forall
+
+
+ prod
+
+
@@ -103,7 +110,8 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
+
letin
@@ -135,26 +143,17 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+