X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=0b8626498731c56ab9eae528ecdefbebefad802f;hb=a3ab07c97eaea90a6f243f2053fb55151ecc12df;hp=ffaf8b48bc3a2facbfd658f36344bf8efbe198c2;hpb=0cb16b42f119c1cb6135f237092892e2f82929ee;p=helm.git diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index ffaf8b48b..0b8626498 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -119,13 +119,62 @@
category | +objects | +
+ + |
+
+ + |
+
+ + |
+
+ + |
+
+ + |
+
sizes | +files | +120 | +characters | +198123 | +nodes | ++ |
propositions | +theorems | +699 | +lemmas | +29 | +total | +728 | +
concepts | +declared | +39 | +defined | +47 | +total | +86 | +