]> matita.cs.unibo.it Git - helm.git/commit
more files added to Basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 27 Jan 2012 20:54:52 +0000 (20:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 27 Jan 2012 20:54:52 +0000 (20:54 +0000)
commitfc59fdd74aefc06a7d11bab7ebaafda478c18f7e
tree213f7ea1830b1e4c7d94502f4d0726a89ddad5da
parente305a62a7cb0a49fea3d241474e4c5bcd40e7272
more files added to Basic_2
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl