]> matita.cs.unibo.it Git - helm.git/commit
additions to basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 2 Jun 2012 18:46:34 +0000 (18:46 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 2 Jun 2012 18:46:34 +0000 (18:46 +0000)
commitb838509c1e64e80a584c11221abcc956e3919641
treeb432ac0d2c78463e8169fa1dccfed957a14a8d09
parentea83c19f4cac864dd87eb059d8aeb2343eba480f
additions to basic_2
helm/www/lambda_delta/apps_2.html
helm/www/lambda_delta/basic_2.html
helm/www/lambda_delta/web/home/basic_2_src.tbl