X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fimplementation.ldw.xml;h=9ddcbf34ecccff55fe71ca70a2b6e2d5fce74f2e;hb=f8f7942a189860b2fe0fe60765385a7d17a93033;hp=bd3f4e23bddfed69aca5d4499473a22f4057e8cb;hpb=d966abb5707d0ce51be932b7bde99d4325d23a0c;p=helm.git diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml index bd3f4e23b..9ddcbf34e 100644 --- a/helm/www/lambdadelta/web/home/implementation.ldw.xml +++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml @@ -3,36 +3,25 @@ Tools - λδ Digital Library (LDDL) + Open Symbolic Notation + - The λδ Digital Library is part of HELM - and contains resources expressed in the systems of the λδ family. + Open Symbolic Notation, abbreviated OSN, + is an easy and flexible data-interchange text format + intended for the lightweight representation of + generic abstract syntax trees in the domain of formal languages. + Additional information is available at OSN web site. - - - Landau's "Grundlagen der Analysis" - (from Jutting's specification in Automath). - - - - static pages (updated ), - data set (updated ), - HELM server URL (updated ). - - - - - Grundlagen's definition "t234" - in λδ version 4. - - Helena + + Helena Helena is a processor for the systems of the λδ family, @@ -146,5 +135,29 @@ + λδ Digital Library (LDDL) + + + The λδ Digital Library is part of HELM + and contains resources expressed in the systems of the λδ family. + + + + Landau's "Grundlagen der Analysis" + (from Jutting's specification in Automath). + + + + static pages (updated ), + data set (updated ), + HELM server URL (updated ). + + + + + Grundlagen's definition "t234" + in λδ version 4. + +