]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 20 Jun 2013 17:25:36 +0000 (17:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 20 Jun 2013 17:25:36 +0000 (17:25 +0000)
commitae78107140dc0d87bfb4db6d8d9861c4796df6d7
tree9c6046e05c26a1b8bf827ca65e9f86d0bb7e6f77
parentbdfd9f6ada4c66f67c674abc3c7b5ed64d27add3
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html