X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=4739e14f80ee6a30c4688776d99699bb5a7b16de;hb=424982ded255df68245241f56064202844ed1194;hp=62eefcfd7cf31625053a6ef4c8f71fbec9cd1991;hpb=5c6d665243a131e00b53e80b09250e3e1cb19cff;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 62eefcfd7..4739e14f8 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1472,6 +1472,30 @@
5
+
+
+ True
+ True
+ True
+ Universal (â_i)
+ 0
+
+
+ 6
+
+
+
+
+ True
+ True
+ True
+ Existential (â_i)
+ 0
+
+
+ 7
+
+
@@ -1564,6 +1588,30 @@
5
+
+
+ True
+ True
+ True
+ Universal (â_e)
+ 0
+
+
+ 6
+
+
+
+
+ True
+ True
+ True
+ Existential (â_e)
+ 0
+
+
+ 7
+
+
@@ -1597,12 +1645,24 @@
0
+
+
+ True
+ True
+ True
+ Use lemma (lem)
+ 0
+
+
+ 1
+
+
True
True
True
- Discharge (discharge [ ])
+ Discharge (discharge)
0
@@ -2338,59 +2398,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
@@ -2489,6 +2496,59 @@
5
+
+
+ True
+ True
+ *
+
+
+ 1
+ 2
+ 1
+ 2
+
+
+
+
+
+ True
+ True
+ True
+ True
+ True
+ *
+
+
+ 1
+ 2
+
+
+
+
+
+ True
+ 0
+ Replace with:
+
+
+ 1
+ 2
+
+
+
+
+
+
+ True
+ 0
+ Find:
+
+
+
+
+
+