- bugfixed "aacr" allows to remove historical eta-conversions

[helm.git] / matita / matita / contribs / BTM / web / chc_45.tbl

diff --git a/matita/matita/contribs/BTM/web/chc_45.tbl b/matita/matita/contribs/BTM/web/chc_45.tbl
index a822c986fdd5114899a9b75f8abfd4101b3b7a83..187b82e7a2f0d6fde1755425d786681bc12de828 100644 (file)
--- a/matita/matita/contribs/BTM/web/chc_45.tbl
+++ b/matita/matita/contribs/BTM/web/chc_45.tbl
@@ -14,8 +14,6 @@ table {
 }
 
 
-class "component" { 0 }
+class "capitalize italic" { 0 }
 
-class "text" { 1 }
-
-class "number" { 2 * }
+class "right italic" { 2 * }