X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=d1c9cff59088906b0233b4be120c3da5279fb57e;hb=7562d9781dc4f351ddc3b2f8edd21f4976621948;hp=a565d4f28a1921ad0e0799e20c3994dfd41082e0;hpb=b665b25cc0b62aa5bd7e90224fe7a28d15e122f2;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index a565d4f28..d1c9cff59 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -103,7 +103,7 @@ λδ is developed in the context of the Hypertextual Electronic Library of Mathematics as a machine-checked digital specification - that is not the formal counterpart of some previously published informal material. + that is not the formal counterpart of previous informal material.