From: Ferruccio Guidi Date: Fri, 4 Mar 2016 19:51:20 +0000 (+0000) Subject: some corrections ... X-Git-Tag: make_still_working~636 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bc389dd4724959688aafc1ede450794f47b8d0b5;p=helm.git some corrections ... --- diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index ee8bd0394..4879a54c5 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -132,11 +132,11 @@ sizes files - 68 + 69 characters - 83858 + 83843 nodes - 168408 + 168516 propositions @@ -261,8 +261,8 @@ rtmap rtmap_eq ( ? ≗ ? ) - rtmap_tl ( ↓? ) - rtmap_minus ( ? - ? ) + rtmap_tl ( ⫱? ) + rtmap_tls ( ⫱*[?]? ) rtmap_isid ( 𝐈⦃?⦄ ) rtmap_id rtmap_sle ( ? ⊆ ? ) @@ -326,14 +326,10 @@ extensions to the library - stream ( ? @ ? ) ( ? ≐ ? ) - stream_hdtl - -
- - -
- + stream ( ? @ ? ) + stream_eq ( ? ≐ ? ) + stream_hdtl ( ↓? ) + stream_tls ( ↓*[?]? )
@@ -566,6 +562,6 @@

-
Last update: Fri, 04 Mar 2016 16:15:58 +0100
+
Last update: Fri, 04 Mar 2016 20:49:20 +0100