X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=75783e6ab0dc16099c6f9fd73b5ce95d72150932;hb=f4f44aa85f6d8ad07c44ce5890bd447f04b9c8a2;hp=fb585f50d262e489c2b65b41178ffcf374e59b61;hpb=fc15ad45208cc2e649fa435e547ecc757fe28481;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index fb585f50d..75783e6ab 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1417,8 +1417,14 @@
True
True
True
- Implication (â_i)
0
+
+
+ True
+ Implication (â<sub>i</sub>)
+ True
+
+
@@ -1426,8 +1432,14 @@
True
True
True
- Conjunction (â§_i)
0
+
+
+ True
+ Conjunction (â§<sub>i</sub>)
+ True
+
+
1
@@ -1438,8 +1450,14 @@
True
True
True
- Disjunction left (â¨_i_l)
0
+
+
+ True
+ Disjunction left (â¨<sub>i-l</sub>)
+ True
+
+
2
@@ -1450,8 +1468,14 @@
True
True
True
- Disjunction right (â¨_i_r)
0
+
+
+ True
+ Disjunction right (â¨<sub>i-r</sub>)
+ True
+
+
3
@@ -1462,8 +1486,14 @@
True
True
True
- Negation (¬_i)
0
+
+
+ True
+ Negation (¬<sub>i</sub>)
+ True
+
+
4
@@ -1474,8 +1504,14 @@
True
True
True
- Top (â¤_i)
0
+
+
+ True
+ Top (â¤<sub>i</sub>)
+ True
+
+
5
@@ -1486,8 +1522,14 @@
True
True
True
- Universal (â_i)
0
+
+
+ True
+ Universal (â<sub>i</sub>)
+ True
+
+
6
@@ -1498,8 +1540,14 @@
True
True
True
- Existential (â_i)
0
+
+
+ True
+ Existential (â<sub>i</sub>)
+ True
+
+
7
@@ -1533,8 +1581,14 @@
True
True
True
- Implication (â_e)
0
+
+
+ True
+ Implication (â<sub>e</sub>)
+ True
+
+
@@ -1542,8 +1596,14 @@
True
True
True
- Conjunction left (â§_e_l)
0
+
+
+ True
+ Conjunction left (â§<sub>e-l</sub>)
+ True
+
+
1
@@ -1554,8 +1614,14 @@
True
True
True
- Conjunction right (â§_e_r)
0
+
+
+ True
+ Conjunction right (â§<sub>e-r</sub>)
+ True
+
+
2
@@ -1566,8 +1632,14 @@
True
True
True
- Disjunction (â¨_e)
0
+
+
+ True
+ Disjunction (â¨<sub>e</sub>)
+ True
+
+
3
@@ -1578,8 +1650,14 @@
True
True
True
- Negation (¬_e)
0
+
+
+ True
+ Negation (¬<sub>e</sub>)
+ True
+
+
4
@@ -1590,8 +1668,14 @@
True
True
True
- Bottom (â¥_e)
0
+
+
+ True
+ Bottom (â¥<sub>e</sub>)
+ True
+
+
5
@@ -1602,8 +1686,14 @@
True
True
True
- Universal (â_e)
0
+
+
+ True
+ Universal (â<sub>e</sub>)
+ True
+
+
6
@@ -1614,8 +1704,14 @@
True
True
True
- Existential (â_e)
0
+
+
+ True
+ Existential (â<sub>e</sub>)
+ True
+
+
7