X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=a281ef3ab90034290ee427fe076111d3e4972711;hb=1e89c373698e2b5e55661291f25dc5238e9f13fd;hp=415635be87e8326beec8daff5a3e287716f67850;hpb=9f2641c25e16428f12ecffae06ef1867df736022;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 415635be8..a281ef3ab 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 157 + 177 characters - 138411 + 181483 nodes - 711276 + 952913 propositions theorems - 45 + 49 lemmas - 506 + 633 total - 551 + 682 concepts declared - 23 + 24 defined - 38 + 42 total - 61 + 66 @@ -180,6 +180,18 @@
Stage "A2": "Extending the Applicability Condition"
+ +