]> matita.cs.unibo.it Git - helm.git/commit
one more paper citing \lambda\delta
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 5 Sep 2016 16:48:44 +0000 (16:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 5 Sep 2016 16:48:44 +0000 (16:48 +0000)
commit88697aab52531638192e6c78abc4b8b443251393
treea0c2388d698368faaf7e16c844ee8e316404cb67
parent9f2641c25e16428f12ecffae06ef1867df736022
one more paper citing \lambda\delta
helm/www/lambdadelta/home.html
helm/www/lambdadelta/web/home/home.ldw.xml