]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2 and basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 10 Jan 2014 18:06:54 +0000 (18:06 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 10 Jan 2014 18:06:54 +0000 (18:06 +0000)
commitb3fa0689fbbfb2619549ca5fd03570724996ac49
tree756aa482c228e2b477952709a5ea1907ed36f6f2
parentdca4170c5ce5f2cd6be8ae1dc0422bd6a680b43f
update in ground_2 and 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