X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fosn.html;h=c3e33db5ded490b2d2b2f8f06b859377dc4ecf7f;hb=06531086fc492d0fd374ada30e116b56a5eff957;hp=9bd25da844993566a7844aab8583224318208e16;hpb=e2b4ff64df523b4be9d7dc4e92386945846426e7;p=helm.git diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index 9bd25da84..c3e33db5d 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Thu, 02 Mar 2017 17:01:46 +0100
+
Last update: Sun, 05 Mar 2017 18:09:42 +0100