]> matita.cs.unibo.it Git - helm.git/commit
lambdadelta_1 updated with new part names
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 15 Jan 2015 16:09:55 +0000 (16:09 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 15 Jan 2015 16:09:55 +0000 (16:09 +0000)
commitfe00a22101acb7995f8488a4434c4046bc540af0
tree6a1c670d8a37b9db57554031e78caa37ab4a7a92
parent7dc9dcddc88440527569d2a7216461bcd7398ab2
lambdadelta_1 updated with new part names
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/download/lambdadelta_1.tar.gz
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
helm/www/lambdadelta/web/home/specification.ldw.xml