]> matita.cs.unibo.it Git - helm.git/commit
stats updated for ground_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Oct 2015 19:47:34 +0000 (19:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Oct 2015 19:47:34 +0000 (19:47 +0000)
commitb4dd798b3777f462802bb0937fc75c4dcdd0089a
tree8fc7ff827d5cc9184dc5e9f969894149733a6adc
parent32def68dd99ad5f20f001e3e76b51afa6f69dec5
stats updated for ground_2
helm/www/lambdadelta/ground_2.html