]> matita.cs.unibo.it Git - helm.git/commit
update in grond_2 and basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 23 May 2014 17:33:16 +0000 (17:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 23 May 2014 17:33:16 +0000 (17:33 +0000)
commit0e0e006b0bbb19b39c9a069efb8326a861021bb3
tree86468a21bc80b0e8d320158e304540299f56dff5
parent8365510a374c2983c9546296b2337beaaa2866fa
update in grond_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