]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 4 Oct 2014 20:59:48 +0000 (20:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 4 Oct 2014 20:59:48 +0000 (20:59 +0000)
commitd48d412796a295256c048256c8f7a843e3406980
treeeb2560d9c1e034e2b6acc28024e3ebcfa1ab61fb
parent9afdb35b870c15760f482a1b4a0ad7b4dcd5172b
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/documentation.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/version_1.html
helm/www/lambdadelta/version_2.html