X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmeta_style%2Fmeta_cic2mathml.xsl;h=072774b5d50bcb7c4c7dfefb93e47e76f59d8acd;hb=7e9ee837f75f38bf01240cdc03dd51c764c2665f;hp=10af6394aea5b234a578603b234f47838dcda39e;hpb=adbb8f993af86259003d7978a26de549b3aef2ae;p=helm.git
diff --git a/helm/meta_style/meta_cic2mathml.xsl b/helm/meta_style/meta_cic2mathml.xsl
index 10af6394a..072774b5d 100644
--- a/helm/meta_style/meta_cic2mathml.xsl
+++ b/helm/meta_style/meta_cic2mathml.xsl
@@ -62,17 +62,16 @@
+
+
+
+
-
+
-
-
-
-
-
@@ -99,6 +98,7 @@
+
@@ -123,6 +123,7 @@
+
@@ -155,15 +156,19 @@
+
+
+
+
-
+
-
+
-
+
@@ -242,16 +247,40 @@
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -267,6 +296,7 @@
+
@@ -281,32 +311,33 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+ and count(*) = 2
+
+
+
*[2]/
-
-
-
-
-
-
-
-
+
@@ -367,80 +398,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -476,18 +433,21 @@
+
- {@id}
+
+ {@id}
+
-
+
@@ -496,7 +456,7 @@
-
+
@@ -527,6 +487,7 @@
+
@@ -600,6 +561,7 @@
+
@@ -611,9 +573,12 @@
+
- {@id}
+
+ {@id}
+
@@ -624,6 +589,7 @@
+
@@ -633,6 +599,7 @@
+
@@ -643,6 +610,7 @@
+
@@ -655,6 +623,7 @@
+
@@ -662,7 +631,7 @@
-
+
@@ -679,6 +648,7 @@
+
@@ -686,7 +656,7 @@
-
+
@@ -706,6 +676,7 @@
+
@@ -715,6 +686,7 @@
+
@@ -762,6 +734,7 @@
+
@@ -770,6 +743,7 @@
+
@@ -778,6 +752,7 @@
+
@@ -789,6 +764,7 @@
+
@@ -863,6 +839,7 @@
+
@@ -877,6 +854,7 @@
+
@@ -1217,6 +1195,7 @@
+
@@ -1227,7 +1206,16 @@
-
+
+
+ helm:xref
+
+
+
+
+
+
+
@@ -1235,6 +1223,7 @@
+
@@ -1267,9 +1256,12 @@
+
- {@id}
+
+ {@id}
+
@@ -1283,7 +1275,7 @@
-
+