X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;fp=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=2c8fc82b74c8736da1b8271f4899680f658ea352;hb=4a65802fd1fbf3f5ba875e59eef95ecb41e14fd4;hp=3b3b58a3595d05a0192b04635fa0442088bc298a;hpb=98fbba1b68d457807c73ebf70eb2a48696381da4;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 3b3b58a35..2c8fc82b7 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -158,9 +158,9 @@
component | -plane | -files | -
- - |
- |||
functional | -reduction and type machine | -rtm | -rtm_step ( ? ⨠? ) | -|||
- - |
- relocation | -lift ( â[?,?] ? ) | -
- - |
- |||
examples | -terms with special features | -ex_sta_ldec ex_cpr_omega ex_fpbg_refl ex_snv_eta | -
- - |
+ component | +plane | +files |