X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=ec3d585304b8ec0074c48c77b16f7910946a014f;hb=3da4aab04ff19ad3a96ce0a05f9ea6c45b58d92a;hp=e7891fa0ec8f05c470e2657fc36e84bd50015c97;hpb=22ff568044ad894d0e2a48bae84c13f95ee2d637;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index e7891fa0e..ec3d58530 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 |
- 26 |
+ 31 |
characters |
- 65234 |
+ 75964 |
nodes |
- 44240 |
+ 61055 |
propositions |
theorems |
2 |
lemmas |
- 115 |
+ 182 |
total |
- 117 |
+ 184 |
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: Wed, 04 Dec 2013 15:14:15 +0100
+ Last update: Tue, 10 Jun 2014 20:49:52 +0200