X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=da94f410ecb58f28f0a49c4bc4fef19842258c05;hb=e406cd31a083a37040485361eac427b631f12458;hp=f657b7c2f1f98984b619e9dfbbe69c22a52ef8a7;hpb=ebe0d316f0bd186c4f0f3b1a9107e122d7878bc6;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index f657b7c2f..da94f410e 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 |
+ 76099 |
nodes |
- 44240 |
+ 61549 |
propositions |
theorems |
2 |
lemmas |
- 115 |
+ 183 |
total |
- 117 |
+ 185 |
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: Sat, 14 Dec 2013 23:30:31 +0100
+ Last update: Thu, 19 Jun 2014 15:37:14 +0200