]> matita.cs.unibo.it Git - helm.git/commit
milestone in basic_2 !!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Jun 2014 15:06:40 +0000 (15:06 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Jun 2014 15:06:40 +0000 (15:06 +0000)
commit0c7129d74ba0bfbdf7f71ffcf46a8c8c93e7df14
tree03d893454d4fd60b41330c620534b4224f923731
parentbcab3f92c6f815098ecc24eff06bfd3d232eb497
milestone 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