]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2 and basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 May 2014 20:19:23 +0000 (20:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 May 2014 20:19:23 +0000 (20:19 +0000)
commit4b25f363cbe0bfc828f88972f1552c406ed31cbc
tree6d73b8b2d603ee9be85b188abb8a374f0a414089
parent3325b784763ae9e6bac4307463071bb38e5641c9
update in ground_2 and 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