X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=70bedf6d5d4761a0e3d63933b42a82181091b7bd;hb=c1175e54bf8d17e41c1f0789ec2bad57aedb9b8c;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..70bedf6d5 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 | +