]> matita.cs.unibo.it Git - helm.git/commit
minor update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 15 Jun 2014 14:21:05 +0000 (14:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 15 Jun 2014 14:21:05 +0000 (14:21 +0000)
commit6aec17030b294a256e69c32eb7bf638fefec9f85
tree3feac4cc9b4b036c79eae6282a95d8ae1677f469
parent5d669f492522b055f76c627eb89da97d0be05c2a
minor 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