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