X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=b6f6ce3b2dae8ce2b1e7fe057ef3b239a7c7786e;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hp=0b8626498731c56ab9eae528ecdefbebefad802f;hpb=a3ab07c97eaea90a6f243f2053fb55151ecc12df;p=helm.git diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 0b8626498..b6f6ce3b2 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 |