X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Freals.xsl;h=4d17ae2601ad8822ea9f1f74d04ff3e53d6152fc;hb=70114384f51953cc183e8d2bb312b1c2b536ba93;hp=6c47f95627160055cb7879eae845ba74c9a131f9;hpb=aa87f28d3a96456e7cec9493c6533e5c146812e8;p=helm.git
diff --git a/helm/style/reals.xsl b/helm/style/reals.xsl
index 6c47f9562..4d17ae260 100644
--- a/helm/style/reals.xsl
+++ b/helm/style/reals.xsl
@@ -15,25 +15,25 @@
-http://localhost:8081/get?url=
+http://localhost:8081/getciconly?uri=
-
+
0
-
+
1
@@ -42,24 +42,24 @@
+ attribute::uri='cic:/Coq/Reals/Rdefinitions/Ropp.con' or
+ attribute::uri='cic:/Coq/Reals/Rbasic_fun/Rabsolu.con' or
+ attribute::uri='cic:/Coq/Reals/Rfunctions/fact.con' or
+ attribute::uri='cic:/Coq/Reals/Rbase/Rsqr.con']]" mode="pure">
-
+
-
+
-
+
-
+
@@ -83,7 +83,7 @@
+ attribute::uri='cic:/Coq/Reals/Rdefinitions/Rinv.con']]" mode="pure">
@@ -111,44 +111,44 @@
+ attribute::uri='cic:/Coq/Reals/Rdefinitions/Rplus.con' or
+ attribute::uri='cic:/Coq/Reals/Rdefinitions/Rminus.con' or
+ attribute::uri='cic:/Coq/Reals/Rdefinitions/Rmult.con' or
+ attribute::uri='cic:/Coq/Reals/Rdefinitions/Rle.con' or
+ attribute::uri='cic:/Coq/Reals/Rdefinitions/Rlt.con' or
+ attribute::uri='cic:/Coq/Reals/Rdefinitions/Rge.con' or
+ attribute::uri='cic:/Coq/Reals/Rdefinitions/Rgt.con' or
+ attribute::uri='cic:/Coq/Reals/Rbasic_fun/Rmin.con' or
+ attribute::uri='cic:/Coq/Reals/Rfunctions/pow.con']]" mode="pure">
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -175,7 +175,7 @@
+ attribute::uri='cic:/Coq/Reals/Rlimit/limit1_in.con']]" mode="pure">
@@ -192,7 +192,7 @@
-
+
@@ -229,7 +229,7 @@
+ attribute::uri='cic:/Coq/Reals/Rderiv/D_in.con']]" mode="pure">
@@ -246,7 +246,7 @@
-
+