]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2 and basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Apr 2016 21:31:50 +0000 (21:31 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Apr 2016 21:31:50 +0000 (21:31 +0000)
commitecb63d645415784352a937f8320f84c23da327f7
tree810d4cb58754d76e7e596ec9cf7b1e2e7a4da07c
parent93bba1c94779e83184d111cd077d4167e42a74aa
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