X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=0d80fe22c933960827789de606e3c3601b392610;hb=7cdb8e166b4f74dc6ddd39c7ca332e618b2bd960;hp=4739e14f80ee6a30c4688776d99699bb5a7b16de;hpb=c99a38b6539be1eb667cced1eed2db3fc75e3162;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 4739e14f8..0d80fe22c 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1022,6 +1022,15 @@
True
+
+
+
+
+
+
2
@@ -1441,8 +1476,14 @@
True
True
True
- Disjunction right (â¨_i_r)
0
+
+
+ True
+ Disjunction right (â¨<sub>i-r</sub>)
+ True
+
+
3
@@ -1453,8 +1494,14 @@
True
True
True
- Negation (¬_i)
0
+
+
+ True
+ Negation (¬<sub>i</sub>)
+ True
+
+
4
@@ -1465,8 +1512,14 @@
True
True
True
- Top (â¤_i)
0
+
+
+ True
+ Top (â¤<sub>i</sub>)
+ True
+
+
5
@@ -1477,8 +1530,14 @@
True
True
True
- Universal (â_i)
0
+
+
+ True
+ Universal (â<sub>i</sub>)
+ True
+
+
6
@@ -1489,8 +1548,14 @@
True
True
True
- Existential (â_i)
0
+
+
+ True
+ Existential (â<sub>i</sub>)
+ True
+
+
7
@@ -1524,8 +1589,14 @@
True
True
True
- Implication (â_e)
0
+
+
+ True
+ Implication (â<sub>e</sub>)
+ True
+
+
@@ -1533,8 +1604,14 @@
True
True
True
- Conjunction left (â§_e_l)
0
+
+
+ True
+ Conjunction left (â§<sub>e-l</sub>)
+ True
+
+
1
@@ -1545,8 +1622,14 @@
True
True
True
- Conjunction right (â§_e_r)
0
+
+
+ True
+ Conjunction right (â§<sub>e-r</sub>)
+ True
+
+
2
@@ -1557,8 +1640,14 @@
True
True
True
- Disjunction (â¨_e)
0
+
+
+ True
+ Disjunction (â¨<sub>e</sub>)
+ True
+
+
3
@@ -1569,8 +1658,14 @@
True
True
True
- Negation (¬_e)
0
+
+
+ True
+ Negation (¬<sub>e</sub>)
+ True
+
+
4
@@ -1581,8 +1676,14 @@
True
True
True
- Bottom (â¥_e)
0
+
+
+ True
+ Bottom (â¥<sub>e</sub>)
+ True
+
+
5
@@ -1593,8 +1694,14 @@
True
True
True
- Universal (â_e)
0
+
+
+ True
+ Universal (â<sub>e</sub>)
+ True
+
+
6
@@ -1605,8 +1712,14 @@
True
True
True
- Existential (â_e)
0
+
+
+ True
+ Existential (â<sub>e</sub>)
+ True
+
+
7
@@ -2398,6 +2511,59 @@
3
2
5
+
+
+ True
+ 0
+ Find:
+
+
+
+
+
+
+
+
+ True
+ 0
+ Replace with:
+
+
+ 1
+ 2
+
+
+
+
+
+
+ True
+ True
+ True
+ True
+ True
+ *
+
+
+ 1
+ 2
+
+
+
+
+
+ True
+ True
+ *
+
+
+ 1
+ 2
+ 1
+ 2
+
+
+
True
@@ -2496,59 +2662,6 @@
5
-
-
- True
- True
- *
-
-
- 1
- 2
- 1
- 2
-
-
-
-
-
- True
- True
- True
- True
- True
- *
-
-
- 1
- 2
-
-
-
-
-
- True
- 0
- Replace with:
-
-
- 1
- 2
-
-
-
-
-
-
- True
- 0
- Find:
-
-
-
-
-
-