]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 14 Jun 2014 20:18:38 +0000 (20:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 14 Jun 2014 20:18:38 +0000 (20:18 +0000)
commit63c047cae0056da7a69cb0740336d12259fbeb1a
tree0cb2d70a2bccacbf2c8684265d0a982c7f0dd667
parentff7754f834f937bfe2384c7703cf63f552885395
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