]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 20 Apr 2014 20:07:02 +0000 (20:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 20 Apr 2014 20:07:02 +0000 (20:07 +0000)
commit75a867276f0485a564e18c103193d8fab1dbfd0e
tree08cb6e437df9b83d9867169b5cb6f9fcf717f57e
parent1555848a5546d0154964286d3400114481d78962
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