+
+
+
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=e1e8448af4e74e60b2ba048f7cfdc6a484f2b5bf;hb=6ce2552192c2727eb5f7d17f52b949549e1e6ad1;hp=5cdf1b2ff7b8e27fda97dba3f5a7c07197204b18;hpb=b665b25cc0b62aa5bd7e90224fe7a28d15e122f2;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 5cdf1b2ff..e1e8448af 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -23,7 +23,7 @@
sizes | files | -358 | +360 | characters | -431837 | +437272 | nodes | -1860162 | +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 @@ |