]> matita.cs.unibo.it Git - helm.git/commit
commit in ground_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Oct 2015 19:44:30 +0000 (19:44 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Oct 2015 19:44:30 +0000 (19:44 +0000)
commit32def68dd99ad5f20f001e3e76b51afa6f69dec5
tree929170a0329a589b3ab09373c985acf75f156ac0
parentfb5c93c9812ea39fb78f1470da2095c80822e158
commit in ground_2
helm/www/lambdadelta/ground_2.html