]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 30 Oct 2015 11:48:09 +0000 (11:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 30 Oct 2015 11:48:09 +0000 (11:48 +0000)
commit02beb8c7e6af00355866b7698ce1eb1f6a03c79b
treebfade68223eafb5ae3f903498a02c7b645d3dc04
parenta8cd6cc85182245df447a21caf16b6503fa4b3e5
update in ground_2
helm/www/lambdadelta/ground_2.html