X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fbasic.xsl;h=3e385b68032e8dd144a917573d1bd417d5fe387d;hb=e1d232bab1b061d9098fd666ca24bed84b38f99e;hp=93eb28052f35e6568e7b524474af23a9d49ae509;hpb=aa87f28d3a96456e7cec9493c6533e5c146812e8;p=helm.git
diff --git a/helm/style/basic.xsl b/helm/style/basic.xsl
index 93eb28052..3e385b680 100644
--- a/helm/style/basic.xsl
+++ b/helm/style/basic.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -10,17 +34,12 @@
xmlns:m="http://www.w3.org/1998/Math/MathML"
xmlns:helm="http://www.cs.unibo.it/helm">
-
-
-
-
-http://localhost:8081/get?url=
-
+
@@ -30,7 +49,7 @@
-
+
@@ -40,7 +59,7 @@
-
+
@@ -49,7 +68,7 @@
-
+
-
+
@@ -84,14 +103,14 @@
-
+
-
+
@@ -105,7 +124,7 @@
app
-
+
@@ -115,13 +134,13 @@
-
+
app
-
+
@@ -151,7 +170,7 @@
-
+
@@ -162,7 +181,7 @@
-
+
@@ -172,8 +191,8 @@
-
+
@@ -189,8 +208,8 @@ and (count(child::*) = 2) and APPLY[MUTIND[attribute::uri='cic:/coq/INIT/Logic/E
-
+
@@ -212,7 +231,7 @@ and (count(child::*) = 2) and APPLY[MUTIND[attribute::uri='cic:/coq/INIT/Logic_T
-
+
@@ -220,7 +239,7 @@ and (count(child::*) = 2) and APPLY[MUTIND[attribute::uri='cic:/coq/INIT/Logic_T
-
+
@@ -228,7 +247,7 @@ and (count(child::*) = 2) and APPLY[MUTIND[attribute::uri='cic:/coq/INIT/Logic_T
-
+
@@ -236,7 +255,7 @@ and (count(child::*) = 2) and APPLY[MUTIND[attribute::uri='cic:/coq/INIT/Logic_T
-
+