X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=75a81d02f1b46109f3ca07baf8dae94ee2fabe00;hb=b3fa0689fbbfb2619549ca5fd03570724996ac49;hp=0163d01c463fee47813a969058240e17d2d89fa8;hpb=c259a5f9cacd93550e80d2195ff4bf68a0d55ddb;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 0163d01c4..75a81d02f 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -1,6 +1,7 @@ + Î»Î´ home page @@ -9,7 +10,7 @@

-

+

The Formal System Î»Î´ (\lambda\delta)

Towards the unification of terms, types, environments and @@ -106,7 +107,7 @@

F. Guidi: lambdadelta_1 - (revised 2011-09). + (revised 2012-10). Formal specification for Coq 7.3.1 @@ -129,8 +130,9 @@ Formal

-
Access: static pages (updated 2011-09), data set (updated 2011-09), HELM server URL - (updated 2011-09).
+
Access: static pages (updated 2012-10), data set (updated 2012-10), HELM server URL + (updated 2012-10).

Examples: Grundlagen's @@ -216,7 +218,7 @@ computer
A BibTeX database of Î»Î´ documentation: lambdadelta.bib, lambdadelta.txt - (revised 2011-09).
+ (revised 2012-10).

A Jed mode @@ -245,8 +247,8 @@ computer Transitional" src="http://www.w3.org/Icons/valid-html401" style="border: 0px solid ; width: 88px; height: 31px;">

- Last update 2012-12-01 by Ferruccio + Last update 2012-12-02 by Ferruccio Guidi

- \ No newline at end of file +