X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=a14858d9109cdf8381fa57947a395e70a961c8e2;hb=3585c1963c95d33f98367018119bfd4b3c6b99b2;hp=2447b28817684fd33d0d5398ea3f38e055e09416;hpb=214b87039cc59cc6ecb5a54cf68b296b0a3ada92;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 2447b2881..a14858d91 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1453,7 +1453,7 @@
True
True
True
- Negaton (¬_i)
+ Negation (¬_i)
0
@@ -1545,7 +1545,7 @@
True
True
True
- Negaton (¬_e)
+ Negation (¬_e)
0
@@ -1598,11 +1598,11 @@
-
+
True
True
True
- Prove (to start)
+ Use lemma (lem)
0
@@ -1614,7 +1614,7 @@
True
True
True
- Discharge (discharge [ ])
+ Discharge (discharge)
0
@@ -2350,59 +2350,6 @@
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
@@ -2501,6 +2448,59 @@
5
+
+
+ True
+ True
+ *
+
+
+ 1
+ 2
+ 1
+ 2
+
+
+
+
+
+ True
+ True
+ True
+ True
+ True
+ *
+
+
+ 1
+ 2
+
+
+
+
+
+ True
+ 0
+ Replace with:
+
+
+ 1
+ 2
+
+
+
+
+
+
+ True
+ 0
+ Find:
+
+
+
+
+
+