X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmeta_style%2Fmeta_cic2mathml.xsl;h=f77890363dfbe41ad0d42acb8c562dda64987637;hb=e7e2a523299d807370b292b44e77f46fad1638c9;hp=005821e6fbacddc8fa81007c67e1dd2004740f5a;hpb=a2dcdb25b6efbd2623913ecf8f0f7ad3fb60bc75;p=helm.git
diff --git a/helm/meta_style/meta_cic2mathml.xsl b/helm/meta_style/meta_cic2mathml.xsl
index 005821e6f..f77890363 100644
--- a/helm/meta_style/meta_cic2mathml.xsl
+++ b/helm/meta_style/meta_cic2mathml.xsl
@@ -61,17 +61,16 @@
+
+
+
+
-
+
-
-
-
-
-
@@ -99,6 +98,7 @@
+
@@ -112,6 +112,7 @@
+
@@ -132,15 +133,19 @@
+
+
+
+
-
+
-
+
-
+
@@ -199,20 +204,44 @@
+
*[2]/
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+ and count(*) = 2
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -220,7 +249,7 @@
-
+
@@ -235,13 +264,10 @@
-
-
-
-
-
-
-
+
+
+
+
@@ -252,6 +278,7 @@
+
@@ -267,6 +294,7 @@
+
@@ -287,11 +315,19 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+ and count(*) = 2
+
+
+
@@ -314,16 +350,13 @@
-
+
-
-
-
-
-
-
-
+
+
+
+
@@ -381,90 +414,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -504,17 +453,20 @@
+
- {@id}
+
+ {@id}
+
-
+
@@ -522,7 +474,7 @@
-
+
@@ -554,6 +506,7 @@
+
@@ -629,6 +582,7 @@
+
@@ -639,9 +593,12 @@
+
- {@id}
+
+ {@id}
+
@@ -651,6 +608,7 @@
+
@@ -660,6 +618,7 @@
+
@@ -671,6 +630,7 @@
+
@@ -682,13 +642,14 @@
+
-
+
@@ -704,13 +665,14 @@
+
-
+
@@ -729,6 +691,7 @@
+
@@ -738,6 +701,7 @@
+
@@ -785,6 +749,7 @@
+
@@ -792,6 +757,7 @@
+
@@ -800,6 +766,7 @@
+
@@ -810,6 +777,7 @@
+
@@ -887,6 +855,7 @@
+
@@ -901,6 +870,7 @@
+
@@ -1239,6 +1209,7 @@
+
@@ -1249,13 +1220,23 @@
-
+
+
+ helm:xref
+
+
+
+
+
+
+
+
@@ -1287,9 +1268,12 @@
+
- {@id}
+
+ {@id}
+
@@ -1302,7 +1286,7 @@
-
+