X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fcontent.xsl;h=65f9825128b4eb13d0208c8b2def3e359ea71786;hb=71cc512008eddc1c64b0388b7def903d1994eaa2;hp=ae4a1a812c27c94909f768f3a1e42f42296ba423;hpb=360b47cdbb8a0b00a3beb4ca3cd509bee0001791;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index ae4a1a812..65f982512 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -25,21 +49,19 @@
media-type="text/mathml" /> -->
-http://localhost:8081/get?url=
+http://localhost:8081/getciconly?uri=
@@ -47,7 +69,7 @@ della rappresentazione interna.
-
+
@@ -57,6 +79,19 @@ della rappresentazione interna.
+
+
+ let_in
+
+
+
+
+
+
+
+
+
+
@@ -65,10 +100,17 @@ della rappresentazione interna.
- prod
+
+
+ forall
+
+
+ prod
+
+
-
+
@@ -89,7 +131,7 @@ della rappresentazione interna.
-
+
@@ -103,17 +145,18 @@ della rappresentazione interna.
-
+
-
+
+
letin
-
+
let
-
+
@@ -137,26 +180,17 @@ della rappresentazione interna.
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -169,21 +203,21 @@ della rappresentazione interna.
-
+
-
+
-
+
-
+
@@ -191,7 +225,7 @@ della rappresentazione interna.
-
+
@@ -199,7 +233,7 @@ della rappresentazione interna.
-
+
@@ -217,14 +251,14 @@ della rappresentazione interna.
-
+
app
-
+
LAMBDA
@@ -239,7 +273,7 @@ della rappresentazione interna.
fix
-
+
@@ -248,7 +282,7 @@ della rappresentazione interna.
cofix
-
+
@@ -257,7 +291,7 @@ della rappresentazione interna.
-
+
@@ -265,10 +299,15 @@ della rappresentazione interna.
-
+
+
+
+
+
+