]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 5 Apr 2013 12:25:17 +0000 (12:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 5 Apr 2013 12:25:17 +0000 (12:25 +0000)
commit28b55bc982671bad6514751c3a368b6cc6cbeec7
tree959009fc9fec6c0400251124ec1a3584538888b4
parenteb4b3b1b307fc392c36f0be253e6a111553259bc
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html