projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 15 Jan 2014 16:37:48 +0000 (16:37 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 15 Jan 2014 16:37:48 +0000 (16:37 +0000) | ||
| commit | cfc43911db215e21036317b26bd1dcf9c3e5d435 | |
| tree | 188a0a74087786b9639e4ceae57d70d8b39534e1 | tree | snapshot |
| parent | be1d03ec6889658e5acbf69a2d191e7bff80c452 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_cpys.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl | diff | blob | history |