]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 completed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 14 Dec 2013 22:30:57 +0000 (22:30 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 14 Dec 2013 22:30:57 +0000 (22:30 +0000)
commitebe0d316f0bd186c4f0f3b1a9107e122d7878bc6
tree26db57de7c5e0733104f33361ce85db43f4d8511
parentfbb1435e16f0c737f3941fae83140a7d6454997e
update in basic_2 completed
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/ground_2.html