]> matita.cs.unibo.it Git - helm.git/commit
Basic_2: restyling and more notation
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 8 Jan 2012 15:50:57 +0000 (15:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 8 Jan 2012 15:50:57 +0000 (15:50 +0000)
commitb8a14a6fab91a49325c4a9cea1ca1e6cd19c2d8f
tree1e14ce954b16ab81af01e0beeaddbdfa2f4f9bcc
parent39e80f80b26e18cf78f805e814ba2f2e8400c1f1
Basic_2: restyling and more notation
helm/www/lambda_delta/css/xhtbl.css
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl