X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=6477ec5f2af897b2d46708aecd51649026184057;hb=0e0e006b0bbb19b39c9a069efb8326a861021bb3;hp=560175fa42e24a5a87b2af3460b41a0085523d25;hpb=65bcd707c9706bf520ea81b7f94213d0ac42e8b4;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 560175fa4..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 |
- 26 |
+ 31 |
characters |
- 65234 |
+ 75360 |
nodes |
- 44240 |
+ 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: Sun, 01 Dec 2013 22:28:19 +0100
+ Last update: Fri, 23 May 2014 19:32:08 +0200