X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmeta_style%2Fset.xml;h=f1e888d98d9c2c2308629cc1c52f70652f3b51a3;hb=03d1ddf4a7fdf03fd497babd84d1963048253f0d;hp=9384b8430537108af8476045f9dc4abfba5da0d7;hpb=a2dcdb25b6efbd2623913ecf8f0f7ad3fb60bc75;p=helm.git
diff --git a/helm/meta_style/set.xml b/helm/meta_style/set.xml
index 9384b8430..f1e888d98 100644
--- a/helm/meta_style/set.xml
+++ b/helm/meta_style/set.xml
@@ -28,24 +28,23 @@
-
-
-
-
-
-
-
-
+
+
-
-
+
+
+
+
+
+
+
+
+
+