X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Freals.xsl;h=6c6f1a7555e49a6705058094f4206195244a4480;hb=e1d232bab1b061d9098fd666ca24bed84b38f99e;hp=ff69f9a2213b65af3a2fec176cae56b0126136ab;hpb=039f58232964e627868ec21f7c1e64c843204c75;p=helm.git
diff --git a/helm/style/reals.xsl b/helm/style/reals.xsl
index ff69f9a22..6c6f1a755 100644
--- a/helm/style/reals.xsl
+++ b/helm/style/reals.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11,56 +35,51 @@
xmlns:helm="http://www.cs.unibo.it/helm"
xmlns:xlink="http://www.w3.org/1999/xlink">
-
-
-
-
-http://localhost:8081/getciconly?uri=
-
+
0
-
+
1
-
+
+ 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">
-
+
-
+
-
+
-
-
+
+
@@ -74,6 +93,9 @@
+
+
+
@@ -83,7 +105,7 @@
+ attribute::uri='cic:/Coq/Reals/Rdefinitions/Rinv.con']]" mode="pure">
@@ -94,10 +116,10 @@
+
+
+
-
-
-
1
@@ -111,44 +133,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 +197,7 @@
+ attribute::uri='cic:/Coq/Reals/Rlimit/limit1_in.con']]" mode="pure">
@@ -192,7 +214,9 @@
-
+
+
+
@@ -202,7 +226,14 @@
-
+
+
+
+
+
+
+
+
$x
@@ -229,7 +260,7 @@
+ attribute::uri='cic:/Coq/Reals/Rderiv/D_in.con']]" mode="pure">
@@ -237,7 +268,7 @@
-
+
@@ -275,3 +306,5 @@
+
+