]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2 and basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Feb 2014 11:36:51 +0000 (11:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Feb 2014 11:36:51 +0000 (11:36 +0000)
commitdb3529635cb2b68f6aa16fbbefd8653132e4102c
tree39279bd3674545d640e203ef448dd1ce95b81bbd
parent1ca3d131ce61d857ebf691169e85ddb81250fd4e
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