X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fhome.ldw.xml;h=d12eea80c9df97c8d39dc04e20335f5d192bf646;hb=b0c6bbd5db69489a5ebd1b36de6685fa6de441b3;hp=e773b460be5019d60319b3ea60b2616c14be0c21;hpb=5b5dca0c118dfbe3ba8f0514ef07549544eb7810;p=helm.git diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml index e773b460b..d12eea80c 100644 --- a/helm/www/lambdadelta/web/home/home.ldw.xml +++ b/helm/www/lambdadelta/web/home/home.ldw.xml @@ -19,19 +19,37 @@
The λδ family is developed within the Hypertextual Electronic Library of Mathematics (HELM) - as a set of machine-checked digital specifications. + as a set of machine-checked