X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=e643ff80e3dc5560774652d8d2f93716036e6e9e;hb=7e80b8d7a4b2c38729512dee28b3e0ecf9595c2a;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..e643ff80e 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -16,12 +16,12 @@
domain | +block | +leader | +âζ * | +annotator (with âϵ *) | +applicator (with âθ *) | +reference * | +reduction | +
{X | Π⢠â¤} | +exclusion | +Î â¢ Ï | +yes | +no | +no | +no | +no | +
{X | Π⢠X : W} | +typed abstraction | +Π⢠λW | +no | +<W> | +(V) | +#i | +âβ * | +
{X | Π⢠X = V} | +abbreviation | +Π⢠δV | +yes | +no | +no | +#i | +âδ | +
no | +sort | +Π⢠âk | +no | +no | +no | +no | +no |
category | +objects | +
+ + |
+
+ + |
+
+ + |
+
+ + |
+
+ + |
+
sizes | +files | +120 | +characters | +198089 | +nodes | +1449099 | +
propositions | +theorems | +81 | +lemmas | +618 | +total | +699 | +
concepts | +declared | +39 | +defined | +47 | +total | +86 | +