]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 20 Apr 2013 19:34:58 +0000 (19:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 20 Apr 2013 19:34:58 +0000 (19:34 +0000)
commit640716b0624d2a7cd9f339b9ab975e85b3288a50
tree2d525d6bffb4ced4c570e17d348c14edc39c8e9a
parent30922a1c2122f0386f6173807b1dfda8b2b00ba1
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html