X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=bc53a2b274a9dd7e53c951ddd9ddb187aa1ae427;hb=ddd6cb6f4514d9ca97f857cafa218c170222f5aa;hp=7a90b1ba560d016c9fe5d019da1775d48d04e8d3;hpb=99573d95dbebe2ec3dac5eda7b1dde2fe819ce3f;p=helm.git
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 7a90b1ba5..bc53a2b27 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -161,7 +161,7 @@
V2.
|
- F. Guidi: lambdadelta_2 (revised 2014-07). Formal specification for the proof assistant Matita 0.99.2 (scripts). BibTeX entry. |
+ F. Guidi: lambdadelta_2 (revised 2014-08). Formal specification for the proof assistant Matita 0.99.2 (scripts). BibTeX entry. |
|
@@ -285,6 +285,18 @@
F. Guidi: Lambda Tipi sul Lambda Calcolo con Abbreviazioni: una Specifica Certificata (2005-12). Presentation at University of Bologna (slides in Italian). |
+
+ |
+
+
+ |
+
+
+
+ V1.
+ |
+ F. Guidi: lambdadelta_1 (revised 2012-10). Formal specification for the proof assistant Coq 7.3.1 (scripts). BibTeX entry. |
+
|
@@ -321,6 +333,6 @@
- Last update: Sun, 20 Jul 2014 16:55:23 +0200
+ Last update: Tue, 05 Aug 2014 23:07:40 +0200
|