projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 5 Jul 2014 10:46:41 +0000 (10:46 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 5 Jul 2014 10:46:41 +0000 (10:46 +0000) | ||
| commit | 057ac901b257ea183aa3bac3f7b358a5543f8815 | |
| tree | bd611d85a10412469e48530463ed5b903950b1e8 | tree | snapshot |
| parent | 0ae40e5497e2ed1e231594d68d862acc4a79fe03 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/examples/ex_cpr_omega.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl | diff | blob | history |