X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fimplementation.ldw.xml;h=04ef6ed1a6fef2796885c0c7b11281610a63944b;hp=76bd89b33a94626779f64dd34c101189cb5099bd;hb=21e21b3b061807035bbd18d29d7a4fd8086ca10d;hpb=a82d87a4c2ff9f518385fba7357dafb632a22882
diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml
index 76bd89b33..04ef6ed1a 100644
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -144,17 +144,17 @@
Landau's "Grundlagen der Analysis"
- (from Jutting's specification in Automath).
+ (from Jutting's specification in Automath).
-
- static pages (updated ),
+
+ html pages (updated ),
data set (updated ),
HELM server URL (updated ).
-
-
+
+
Grundlagen's definition "t234"
in λδ version 4.