]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Nov 2013 16:16:18 +0000 (16:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Nov 2013 16:16:18 +0000 (16:16 +0000)
commit91c402f5e43127d61e40f31138ec29b0e5607a56
tree0ddf53ac0452a2637f907a65d32e7824aa63fdcb
parent54fa4874fc4bfccd061b40d8353cd75a578e99ae
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html