]> matita.cs.unibo.it Git - helm.git/commit - helm/www/lambdadelta/apps_2.html
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 11 Oct 2013 18:48:47 +0000 (18:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 11 Oct 2013 18:48:47 +0000 (18:48 +0000)
commit300e33420570ac0f69a9c57e3fa96a21b27c2754
tree79eaf3a0d8648e882aaf81c67e69e8b65beb6f89
parent82fe07c3accb68ca4f7a1870a046128fe980dced
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html