]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 3 Jun 2013 14:25:02 +0000 (14:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 3 Jun 2013 14:25:02 +0000 (14:25 +0000)
commite5077c96c584933ad1467e8066780b46d7b0468c
tree1245d423ac3d59e5b8b1ab0a4b2b6fcb4945fa73
parentb9c837ca4598924670bde2e2a1144be35ead425c
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html