X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=4739e14f80ee6a30c4688776d99699bb5a7b16de;hb=abaf651b3d3ff230cac0b85bcd2cf70461400d05;hp=a14858d9109cdf8381fa57947a395e70a961c8e2;hpb=e189bde1e0a562e8689ff41d55d392431609e749;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index a14858d91..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
+
+