X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmeta_style%2Falgebra.xml;h=fbff431ccdd6ce8ed84a2f31fd46b7a130452fc5;hb=4f0c4e9db2be6bea38377d2a74d813bee4c53b02;hp=119effa3da0aef63c21d8aa58bbb76700e55211e;hpb=5379335718a93d3e933d9bfdc0dd85f00983bc21;p=helm.git
diff --git a/helm/meta_style/algebra.xml b/helm/meta_style/algebra.xml
index 119effa3d..fbff431cc 100644
--- a/helm/meta_style/algebra.xml
+++ b/helm/meta_style/algebra.xml
@@ -6,28 +6,28 @@
0
1
@@ -36,63 +36,63 @@
@@ -100,14 +100,14 @@
@@ -120,7 +120,7 @@
@@ -135,7 +135,7 @@
@@ -147,7 +147,7 @@
@@ -166,7 +166,7 @@
@@ -185,7 +185,7 @@