]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 12 Oct 2013 17:38:57 +0000 (17:38 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 12 Oct 2013 17:38:57 +0000 (17:38 +0000)
commit8913001064f595c21ed4234884e7c370be2afb52
tree88ef277f79e563c2a0b367e000feef2025f12b83
parent7ad8c044ab33ea0f2aebb1c40fa20340d7f2f3eb
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html