X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=598ae85dc37fe5f365f79b8b27392314a761e6b6;hb=93bba1c94779e83184d111cd077d4167e42a74aa;hp=ee8bd0394eee6f167c0adce81cab804014f6819b;hpb=3bd1c05c93a76bb696aa93a2c8a104cad4dfc475;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index ee8bd0394..598ae85dc 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -132,29 +132,29 @@
sizes |
files |
- 68 |
+ 77 |
characters |
- 83858 |
+ 93671 |
nodes |
- 168408 |
+ 198031 |
propositions |
theorems |
- 14 |
+ 23 |
lemmas |
- 388 |
+ 472 |
total |
- 402 |
+ 495 |
concepts |
declared |
- 42 |
+ 53 |
defined |
- 44 |
+ 49 |
total |
- 86 |
+ 102 |
@@ -227,6 +227,18 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -252,6 +264,18 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -261,12 +285,16 @@
|
rtmap |
rtmap_eq ( ? â ? ) |
- rtmap_tl ( â? ) |
- rtmap_minus ( ? - ? ) |
+ rtmap_tl ( ⫱? ) |
+ rtmap_tls ( ⫱*[?]? ) |
rtmap_isid ( ðâ¦?⦠) |
rtmap_id |
+ rtmap_fcla ( ðâ¦?⦠⡠? ) |
+ rtmap_isfin ( ð
�⦠) |
+ rtmap_isuni ( ðâ¦?⦠) |
rtmap_sle ( ? â ? ) |
rtmap_sand ( ? â ? â¡ ? ) |
+ rtmap_sor ( ? â ? â¡ ? ) |
rtmap_at ( @�,?⦠⡠? ) |
rtmap_istot ( ðâ¦?⦠) |
rtmap_after ( ? â ? â¡ ? ) |
@@ -285,8 +313,12 @@
nstream_isid |
nstream_id ( ðð ) |
|
+ |
+ |
+ |
nstream_sand |
|
+ |
nstream_istot ( ?@â´?âµ ) |
nstream_after ( ? â ? ) |
@@ -319,6 +351,18 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -326,8 +370,16 @@
extensions to the library |
|
- stream ( ? @ ? ) ( ? â ? ) |
- stream_hdtl |
+ stream ( ? @ ? ) |
+ stream_eq ( ? â ? ) |
+ stream_hdtl ( â? ) |
+ stream_tls ( â*[?]? ) |
+
+
+ |
+
+
+ |
|
@@ -389,6 +441,18 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -401,7 +465,19 @@
bool ( â» ) ( â ) |
- arith ( ?^? ) ( ⫯? ) ( ⫰? ) |
+ arith ( ?^? ) ( ⫯? ) ( ⫰? ) ( ? ⨠? ) ( ? ⧠? ) |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -463,6 +539,18 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -496,6 +584,18 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -533,6 +633,18 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -566,6 +678,6 @@
- Last update: Fri, 04 Mar 2016 16:15:58 +0100
+ Last update: Sun, 27 Mar 2016 18:42:29 +0200