]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 7 Feb 2016 17:55:13 +0000 (17:55 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 7 Feb 2016 17:55:13 +0000 (17:55 +0000)
commit117ddc09ce7995f14af84401b2a21f17a7bc1b7a
tree3ccb30f96e96d6f7e2fd650a9b2ce1759866026e
parent802e118337ebd0f8b732d4939973aae6415b5bec
update in ground_2
helm/www/lambdadelta/basic_1.html
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/ground_1.html
helm/www/lambdadelta/ground_2.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/specification.html