X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=6477ec5f2af897b2d46708aecd51649026184057;hb=0e0e006b0bbb19b39c9a069efb8326a861021bb3;hp=842528303a1bd0b054a0c9a4cab741cb65a516e1;hpb=265f584ad05c29694376127e46aef45cc546d43c;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 842528303..6477ec5f2 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -6,8 +6,8 @@
-
-
lambdadelta version 2
+
+ background for \lambda\delta version 2
@@ -56,29 +56,29 @@
sizes |
files |
- 24 |
+ 31 |
characters |
- 65135 |
+ 75360 |
nodes |
- 40661 |
+ 59683 |
propositions |
theorems |
2 |
lemmas |
- 115 |
+ 178 |
total |
- 117 |
+ 180 |
concepts |
declared |
- 40 |
+ 41 |
defined |
- 24 |
+ 25 |
total |
- 64 |
+ 66 |
@@ -124,6 +124,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -136,7 +142,9 @@
ynat_le ( ?� ) |
ynat_lt ( ?<? ) |
ynat_minus ( ? - ? ) |
- ynat_plus ( ? + ? ) |
+ ynat_plus ( ? + ? ) |
+ ynat_max |
+ ynat_min |
extensions to the library |
@@ -156,6 +164,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -176,6 +190,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -214,6 +234,6 @@
- Last update: Mon, 02 Dec 2013 20:23:02 +0100
+ Last update: Fri, 23 May 2014 19:32:08 +0200