]> matita.cs.unibo.it Git - helm.git/commit
minor update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 5 Jul 2014 10:47:40 +0000 (10:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 5 Jul 2014 10:47:40 +0000 (10:47 +0000)
commit73445ceb9d6f8a37784d8d2c73dabe800c6e0926
tree42a4e9708dd0996537adf54231014f0a7bf887f9
parent057ac901b257ea183aa3bac3f7b358a5543f8815
minor update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/ground_2.html