X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=11a7321d6e7a39cbb200a6b01b146916c0050f92;hb=3969d815396a22dca5e71c5f85fa3ec66d79849e;hp=2447b28817684fd33d0d5398ea3f38e055e09416;hpb=214b87039cc59cc6ecb5a54cf68b296b0a3ada92;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 2447b2881..11a7321d6 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1022,6 +1022,15 @@
True
+
+
+
@@ -1472,6 +1481,30 @@
5
+
+
+ True
+ True
+ True
+ Universal (â_i)
+ 0
+
+
+ 6
+
+
+
+
+ True
+ True
+ True
+ Existential (â_i)
+ 0
+
+
+ 7
+
+
@@ -1545,7 +1578,7 @@
True
True
True
- Negaton (¬_e)
+ Negation (¬_e)
0
@@ -1564,6 +1597,30 @@
5
+
+
+ True
+ True
+ True
+ Universal (â_e)
+ 0
+
+
+ 6
+
+
+
+
+ True
+ True
+ True
+ Existential (â_e)
+ 0
+
+
+ 7
+
+
@@ -1598,11 +1655,11 @@
-
+
True
True
True
- Prove (to start)
+ Use lemma (lem)
0
@@ -1614,7 +1671,7 @@
True
True
True
- Discharge (discharge [ ])
+ Discharge (discharge)
0