]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 and ground_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 11 Feb 2014 21:12:19 +0000 (21:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 11 Feb 2014 21:12:19 +0000 (21:12 +0000)
commit93c509f03ffa0d622fa76e39addf32966a173147
treeaf8447855fc7927bce7c726cd093c793cc77cae4
parentd95bd78c09617ad212fa9e96837a15fc907dcfca
update in basic_2 and ground_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/ground_2.html