]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Jun 2014 18:50:54 +0000 (18:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Jun 2014 18:50:54 +0000 (18:50 +0000)
commit3da4aab04ff19ad3a96ce0a05f9ea6c45b58d92a
treea240955afb0b3ab8c6b84a5ce05b32a8b9673a2f
parent98c91e19a9cc31c77a0151f5df7f7690813cbd07
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