X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fcontent.xsl;h=d36e0152aef666a62880876ec6f8b02d043dbaa1;hb=8dd44f97c9c97ae32bc91288a9d08c00ef63c965;hp=ae4a1a812c27c94909f768f3a1e42f42296ba423;hpb=360b47cdbb8a0b00a3beb4ca3cd509bee0001791;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index ae4a1a812..d36e0152a 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,7 +45,7 @@ della rappresentazione interna.
-
+
@@ -65,10 +63,17 @@ della rappresentazione interna.
- prod
+
+
+ forall
+
+
+ prod
+
+
-
+
@@ -89,7 +94,7 @@ della rappresentazione interna.
-
+
@@ -103,17 +108,18 @@ della rappresentazione interna.
-
+
-
+
+
letin
-
+
let
-
+
@@ -137,26 +143,17 @@ della rappresentazione interna.
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -169,21 +166,21 @@ della rappresentazione interna.
-
+
-
+
-
+
-
+
@@ -191,7 +188,7 @@ della rappresentazione interna.
-
+
@@ -199,7 +196,7 @@ della rappresentazione interna.
-
+
@@ -217,14 +214,14 @@ della rappresentazione interna.
-
+
app
-
+
LAMBDA
@@ -239,7 +236,7 @@ della rappresentazione interna.
fix
-
+
@@ -248,7 +245,7 @@ della rappresentazione interna.
cofix
-
+
@@ -257,7 +254,7 @@ della rappresentazione interna.
-
+
@@ -265,10 +262,15 @@ della rappresentazione interna.
-
+
+
+
+
+
+