From: Ferruccio Guidi Date: Mon, 21 Mar 2016 19:39:42 +0000 (+0000) Subject: update in ground_2 X-Git-Tag: make_still_working~628 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=72e835f5e6848c09faf6343fb7e276c88bfc1f2e update in ground_2 --- diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 4879a54c5..b6e10865c 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -132,29 +132,29 @@ sizes files - 69 + 77 characters - 83843 + 93034 nodes - 168516 + 195875 propositions theorems 14 lemmas - 388 + 434 total - 402 + 448 concepts declared - 42 - defined 44 + defined + 37 total - 86 + 81 @@ -227,6 +227,18 @@
+ +
+ + +
+ + +
+ + +
+
@@ -252,6 +264,18 @@
+ +
+ + +
+ + +
+ + +
+
@@ -265,8 +289,12 @@ 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 @@
+ +
+ + +
+ + +
+ + +
+
@@ -348,6 +392,18 @@
+ +
+ + +
+ + +
+ + +
+
@@ -385,6 +441,18 @@
+ +
+ + +
+ + +
+ + +
+
@@ -397,7 +465,19 @@
bool ( Ⓕ ) ( Ⓣ ) - arith ( ?^? ) ( ⫯? ) ( ⫰? ) + arith ( ?^? ) ( ⫯? ) ( ⫰? ) ( ? ∨ ? ) ( ? ∧ ? ) + +
+ + +
+ + +
+ + +
+
@@ -459,6 +539,18 @@
+ +
+ + +
+ + +
+ + +
+
@@ -492,6 +584,18 @@
+ +
+ + +
+ + +
+ + +
+
@@ -529,6 +633,18 @@
+ +
+ + +
+ + +
+ + +
+
@@ -562,6 +678,6 @@

-
Last update: Fri, 04 Mar 2016 20:49:20 +0100
+
Last update: Mon, 21 Mar 2016 20:38:12 +0100