]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2 and basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 May 2016 10:18:31 +0000 (10:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 May 2016 10:18:31 +0000 (10:18 +0000)
commita145b5df4a86b3d5f8516a9c1cb76a62f6327151
treebd077688e7468e8c144a64f0206282517b122ef2
parenta373e008bbacd40002c529f3f14da0939af1c404
update in ground_2 and basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_1.html
helm/www/lambdadelta/basic_2.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