]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 and apps_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 7 Apr 2013 21:38:03 +0000 (21:38 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 7 Apr 2013 21:38:03 +0000 (21:38 +0000)
commit3fb2d167ba8463e0fa80efe42ee9be1a15e282a0
tree9952a691a8b19c77fd7932c783d9c37fb9a299f0
parent6d3e67a714d59ff5d0da7aff72323a6d2ac07db4
update in basic_2 and apps_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html