X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fimplementation.ldw.xml;h=1c357b3c1d51cf2ec9bab7947f1e724ecb3bbf78;hb=b7395f3e72f7c8db2d81ef8abc8549695c089eca;hp=0613d899fb64e99f11c4950f1d2c5e052eb248e0;hpb=d867d4f21d89308c02d06db83005b91241bc6171;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml
index 0613d899f..1c357b3c1 100644
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -7,16 +7,9 @@
>
- Computer-checked formal specifications
-
- λδ comes in several versions listed in the following table,
- which includes the major milestones:
-
-
-
Tools
- λδ Digital Library (LDDL)
+ λδ Digital Library (LDDL)
The λδ Digital Library is part of HELM
and contains resources expressed in λδ.
@@ -39,7 +32,7 @@
(in "complete_rg" λδ).
- Helena
+ Helena
Helena is a λδ processor,
implemented in Caml