]> matita.cs.unibo.it Git - helm.git/commit
milestone in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Aug 2013 21:42:41 +0000 (21:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Aug 2013 21:42:41 +0000 (21:42 +0000)
commitb2c1a95861424ba23e491e2b258f7413efbc1fba
tree033288e9f12cd01e3fb7333567fabbff543653b0
parentd7ccf1bd91637d3c59a285df6f215ecfde2a2450
milestone in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html