+
+
+
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=1b36b571ecadb27ea144a55017df85d4ad269276;hb=bc389dd4724959688aafc1ede450794f47b8d0b5;hp=353b1c74e3a13c93f716eb4661aef787e5b5fb37;hpb=68b5af5ca8f1e7f98485b92692b3dcb1ae240d19;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 353b1c74e..1b36b571e 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -23,7 +23,7 @@
files | 360 | characters | -433402 | +437272 | nodes | -1874778 | +1935835 | |
propositions | theorems | 130 | lemmas | -1286 | +1303 | total | -1416 | +1433 |
concepts | @@ -149,53 +171,51 @@
|
- contxt-sensitive multiple rt-substitution | +context-sensitive multiple rt-substitution | cpys ( â¦?,?⦠⢠? â¶*[?,?] ? ) | cpys_alt ( â¦?,?⦠⢠? â¶â¶*[?,?] ? ) | cpys_lift cpys_cpys | @@ -1140,7 +1159,7 @@
|
- contxt-sensitive ordinary rt-substitution | +context-sensitive ordinary rt-substitution | cpy ( â¦?,?⦠⢠? â¶[?,?] ? ) | cpy_lift cpy_nlift cpy_cpy | @@ -1339,8 +1358,7 @@ |