Last update: Fri, 06 Mar 2015 17:53:24 +0100
+ Last update: Mon, 11 May 2015 15:05:35 +0200
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=5cb1af4167dd8969823dfbbdcfb05a5a5aea2fb6;hb=a38bbd2c8213d8275a3d3c2ac115c45c8e478ed4;hp=412740783ddf216b59eaf98cf9a9b21ef0da8e77;hpb=658c000ee2ea2da04cf29efc0acdaf16364fbf5e;p=helm.git diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 412740783..5cb1af416 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -36,18 +36,18 @@