]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 7 Jun 2014 19:48:48 +0000 (19:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 7 Jun 2014 19:48:48 +0000 (19:48 +0000)
commit4aa343ba8e1c807108203ece4e142c81b27d28e8
tree5bf903c7a110212cb6fcdc6e071bf4e688114a6b
parent73ee95d10faffb2ff131de18f4889638b9131758
update in 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