minor site update

[helm.git] / helm / www / lambdadelta / web / home / index.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml

index 7f07c502b78e68e7035c46ea78db6cc1e8ab1248..fce197c427308d40ac572bc1323b49f4a564fabd 100644 (file)
--- a/helm/www/lambdadelta/web/home/index.ldw.xml
+++ b/helm/www/lambdadelta/web/home/index.ldw.xml
@@ -10,8 +10,8 @@
     <section9 name="foreword">Foreword</section9>
     <body>
        The formal system λδ (\lambda\delta) is a typed λ-calculus aiming to support
-      the foundations of Mathematics that require an underlying specification language
-      (for example the <link to="http://www.math.unipd.it/~maietti/">Minimal Type Theory</link>
+      the foundational frameworks for Mathematics that require an underlying specification language
+      (for example the <link to="http://www.math.unipd.it/~maietti/">Minimalist Foundation</link>
         and its predecessors).
     </body>
     <body>