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

-
Last update: Sun, 05 Mar 2017 18:09:42 +0100
+
Last update: Mon, 06 Mar 2017 23:23:02 +0100