X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent.xsl;h=65f9825128b4eb13d0208c8b2def3e359ea71786;hb=71cc512008eddc1c64b0388b7def903d1994eaa2;hp=24b97e6e6f738697a19dcb14800b8ab77a5628ec;hpb=aa87f28d3a96456e7cec9493c6533e5c146812e8;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 24b97e6e6..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,8 +273,8 @@ della rappresentazione interna.
fix
-
-
+
+
@@ -248,8 +282,8 @@ della rappresentazione interna.
cofix
-
-
+
+
@@ -257,7 +291,7 @@ della rappresentazione interna.
-
+
@@ -265,10 +299,15 @@ della rappresentazione interna.
-
+
+
+
+
+
+