]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/implementation.html
match
[helm.git] / helm / www / lambda_delta / implementation.html
index 4a3d1a5cd35ca0f6756d6865bb39390db7de60c5..598daae78cd41d6df3a1258116d5db75e3e797df 100644 (file)
@@ -317,7 +317,7 @@ computer
         height: 31px;" alt="[PNG Used Here]" title="PNG Used Here"
         src="download/PNGnow2.png"><br>
       <br>
-      Last update 2012-16-16 by <a
+      Last update 2012-10-16 by <a
         href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
         Guidi</a><br>
     </div>