]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2 and basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 11 Mar 2014 18:38:22 +0000 (18:38 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 11 Mar 2014 18:38:22 +0000 (18:38 +0000)
commit93f99278ea89f14e36f9b55aa3e14fada40345ea
treeac38d3c4cda02abb0e4b7fc31fa0a890ea768a4b
parent8a5a354c9ac3ef20ca01dbeb61f6b99902f172a7
update in ground_2 and basic_2 ...
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/ground_2.html