X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fcontent.xsl;h=f736dbd22ed431c447afd7863695c1735bf7cebc;hb=faf311442f59ccbc652c7965d23ed2945fd40906;hp=68a418dcdd24587953282a0d8236d84cae2b4b32;hpb=975ab2f71a5e39379d44a494d73b8e05a8a0ad5d;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 68a418dcd..f736dbd22 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -33,11 +57,6 @@ la forma cic:/.../ in definitionURL e questo schema di uri verra' risolto da
Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-->
-
-
-
-
-http://localhost:8081/getciconly?uri=
@@ -45,7 +64,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
@@ -55,6 +74,19 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
+
+ let_in
+
+
+
+
+
+
+
+
+
+
@@ -63,10 +95,17 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
- prod
+
+
+ forall
+
+
+ prod
+
+
-
+
@@ -87,7 +126,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
@@ -100,96 +139,41 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
-
-
-
-
- letin
-
-
-
-
- let
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
app
-
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
+
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
+
@@ -197,7 +181,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
@@ -215,14 +199,14 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
app
-
+
LAMBDA
@@ -237,7 +221,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
fix
-
+
@@ -246,7 +230,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
cofix
-
+
@@ -255,7 +239,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
@@ -263,10 +247,15 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
+
+
+
+
+