X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=8469c373703a1213060f05339c0040b3c0a76d13;hb=59c3713b93251505ba4e00b2695bffe2dfaf3bc7;hp=a8f176a5a46b3941c8698dd6fad7d83db50dfabc;hpb=c211eb61218aa9b43dfd2baae45407f0aa87ca79;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index a8f176a5a..8469c3737 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -36,18 +36,18 @@
news
|
-
- documentation
- |
-
+ |
specification
|
-
+ |
|
-
+ |
|
+
+ documentation
+ |
implementation
|
@@ -62,16 +62,16 @@
milestones
|
-
- version 2
- |
-
+ |
version 2
|
- (background - core - applications) |
-
+ | (background - core - applications) |
+
|
+
+ version 2
+ |
library
|
@@ -84,14 +84,14 @@
visibility
|
+
+ version 1
+ |
+ (background - core) |
+ (static HELM directory) |
version 1
|
-
- version 1
- |
- (background - core) |
- (static HELM directory) |
helena
|
@@ -132,29 +132,29 @@
sizes |
files |
- 30 |
+ 27 |
characters |
- 46649 |
+ 48334 |
nodes |
- 62380 |
+ 67588 |
propositions |
theorems |
2 |
lemmas |
- 187 |
+ 201 |
total |
- 189 |
+ 203 |
concepts |
declared |
40 |
defined |
- 25 |
+ 24 |
total |
- 65 |
+ 64 |
@@ -194,15 +194,6 @@
|
-
-
- |
-
-
- |
-
-
- |
|
@@ -215,10 +206,7 @@
ynat_succ ( ⫯? ) |
ynat_le ( ? ⤠? ) |
ynat_lt ( ? < ? ) |
- ynat_minus ( ? - ? ) |
- ynat_plus ( ? + ? ) |
- ynat_max |
- ynat_min |
+ ynat_plus ( ? + ? ) |
extensions to the library |
@@ -228,15 +216,6 @@
bool ( â» ) ( â ) |
arith ( ?^? ) |
list ( â ) ( ? @ ? ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| ) |
-
-
- |
-
-
- |
-
-
- |
|
@@ -255,15 +234,6 @@
|
-
-
- |
-
-
- |
-
-
- |
|
@@ -286,15 +256,6 @@
|
-
-
- |
-
-
- |
-
-
- |
|
@@ -328,6 +289,6 @@
- Last update: Fri, 06 Mar 2015 16:17:54 +0100
+ Last update: Sun, 06 Sep 2015 21:40:58 +0200