X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent.xsl;h=e71ba3fe16d9a39dfb8528105d18713667170a7a;hb=0772a856cc336f4cbe362f3765b321dcbc129d64;hp=fa0b6a0bff8cf5af9d422b38ecff7b9698105b64;hpb=a107c3f2bd2f23bd3dab08cf2104416ee2fdcf1e;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index fa0b6a0bf..e71ba3fe1 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -25,21 +25,19 @@
media-type="text/mathml" /> -->
-http://localhost:8081/get?url=
+http://localhost:8081/getciconly?uri=
@@ -47,11 +45,7 @@ della rappresentazione interna.
-
-
-
-
-
+
@@ -69,10 +63,17 @@ della rappresentazione interna.
- prod
+
+
+ forall
+
+
+ prod
+
+
-
+
@@ -93,7 +94,7 @@ della rappresentazione interna.
-
+
@@ -107,17 +108,18 @@ della rappresentazione interna.
-
+
-
+
+
letin
-
+
let
-
+
@@ -141,26 +143,17 @@ della rappresentazione interna.
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -173,21 +166,21 @@ della rappresentazione interna.
-
+
-
+
-
+
-
+
@@ -195,7 +188,7 @@ della rappresentazione interna.
-
+
@@ -203,7 +196,7 @@ della rappresentazione interna.
-
+
@@ -221,14 +214,14 @@ della rappresentazione interna.
-
+
app
-
+
LAMBDA
@@ -243,7 +236,7 @@ della rappresentazione interna.
fix
-
+
@@ -252,7 +245,7 @@ della rappresentazione interna.
cofix
-
+
@@ -261,7 +254,7 @@ della rappresentazione interna.
-
+
@@ -269,10 +262,15 @@ della rappresentazione interna.
-
+
+
+
+
+
+