]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 and ground_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 21 Feb 2014 16:38:05 +0000 (16:38 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 21 Feb 2014 16:38:05 +0000 (16:38 +0000)
commitc713c14cb3c69b1e9a4c693aed382eedc04512c1
tree3346685a2655cbf1606096b0ef67543fcdda44f3
parent376fd7774ef0fa2f30a4afb25aab6158e3cd04b7
update in basic_2 and ground_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/ground_2.html