]> matita.cs.unibo.it Git - helm.git/commit
milesone in basic_2!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 27 Jul 2013 16:35:29 +0000 (16:35 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 27 Jul 2013 16:35:29 +0000 (16:35 +0000)
commit8fa70fc9a05fa9e9d37ff0c33b532908174d1c22
tree7cf0d4cc87b8dcab544c162fdc5002ec99ce236a
parentebc33b6d5b68400bc8411973ed4c9ed50d0c52a6
milesone in basic_2!
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html