]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Oct 2013 15:07:07 +0000 (15:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Oct 2013 15:07:07 +0000 (15:07 +0000)
commit816f8da9c917e86d4de69fe5ae9853ec427f2b57
tree3fe61da130a39a989d4ad4e3a01b3880013688b8
parent1407456d2415e2872b97ae70cae05eb47c1995c5
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html