X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fbasic_2.html;h=1ea8c5b09cd4703871c0afb05bb08d111179c701;hb=2a5e781138f03034104184a40889c33515ac9778;hp=872235a746ed090b7c29811c7d94706a0d7ea710;hpb=386e673720c99be50c1463e430763d630f9ca5d1;p=helm.git diff --git a/helm/www/lambda_delta/basic_2.html b/helm/www/lambda_delta/basic_2.html index 872235a74..1ea8c5b09 100644 --- a/helm/www/lambda_delta/basic_2.html +++ b/helm/www/lambda_delta/basic_2.html @@ -29,7 +29,7 @@
category | objects | |||||
sizes | files | 178 | bytes | 655019 | ||
propositions | theorems | 64 | lemmas | 768 | total | 832 |
concepts | declared | 38 | defined | 66 | total | 104 |