X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=9e83dd9e241f4881dc86c5a81aeedcc11a9b7ab3;hb=bc389dd4724959688aafc1ede450794f47b8d0b5;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..9e83dd9e2 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -36,18 +36,18 @@
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 | +