X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Flibrary.shtml;h=c42fa673bd0fd87dcab5afe1841e23771fdbab47;hb=c74a1a8237c8a05d26be0112f560d24de8cd9f0f;hp=a7c0cf17a588c0173f575a57c8808f3b73eb611e;hpb=7c5a250298d2c872362f235716925ce674c516d7;p=helm.git diff --git a/helm/www/matita/library.shtml b/helm/www/matita/library.shtml index a7c0cf17a..c42fa673b 100644 --- a/helm/www/matita/library.shtml +++ b/helm/www/matita/library.shtml @@ -143,7 +143,7 @@ here.
-The formal system λδ is a typed λ-calculus that pursues the unification of terms, types, environments and contexts @@ -166,7 +166,7 @@
- See the λδ home page + See the λδ home page for more information.