]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Oct 2013 15:03:51 +0000 (15:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Oct 2013 15:03:51 +0000 (15:03 +0000)
commitf5c6d4c41cbbdabdf998be0c4a8242849a790f1b
tree056ea4c68a52db75ae75d97cea92260ee4763fd6
parent06d5ff2316426acfb16a9cc9784d40ce19351771
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html