]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 21 Apr 2013 15:53:55 +0000 (15:53 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 21 Apr 2013 15:53:55 +0000 (15:53 +0000)
commited93840d88912c92da47c4cec1713d9565f361d3
tree5ef22e547ca2cada947e7ebcb11b2710b3823a87
parentd1cf044d3f19bc9397872cc827cc77097fcc5b25
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html