]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 15 Dec 2013 15:51:39 +0000 (15:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 15 Dec 2013 15:51:39 +0000 (15:51 +0000)
commitad4010180cfdfb6c3454c9bdc52d290332de665e
tree68dc67bd37013a4ccf60425b615b560a999315f2
parent65ebca171de29dd33be87b4b063385d1f6b9ce70
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