X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=4739e14f80ee6a30c4688776d99699bb5a7b16de;hb=63e7ef727ce32552106c4d8f3030fd264532fffe;hp=2b239b4e5485ea3cd93a969023145bd85ca3c6f9;hpb=88f24d23df67d88bf98c2ca32ac0d9854f3d9b00;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 2b239b4e5..4739e14f8 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1387,6 +1387,7 @@
True
+ 2
True
@@ -1452,7 +1453,7 @@
True
True
True
- Negaton (¬_i)
+ Negation (¬_i)
0
@@ -1471,6 +1472,30 @@
5
+
+
+ True
+ True
+ True
+ Universal (â_i)
+ 0
+
+
+ 6
+
+
+
+
+ True
+ True
+ True
+ Existential (â_i)
+ 0
+
+
+ 7
+
+
@@ -1544,7 +1569,7 @@
True
True
True
- Negaton (¬_e)
+ Negation (¬_e)
0
@@ -1563,6 +1588,30 @@
5
+
+
+ True
+ True
+ True
+ Universal (â_e)
+ 0
+
+
+ 6
+
+
+
+
+ True
+ True
+ True
+ Existential (â_e)
+ 0
+
+
+ 7
+
+
@@ -1597,17 +1646,29 @@
-
+
True
True
True
- Prove (to start)
+ Use lemma (lem)
0
1
+
+
+ True
+ True
+ True
+ Discharge (discharge)
+ 0
+
+
+ 2
+
+