projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 10 Sep 2014 19:51:09 +0000 (19:51 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 10 Sep 2014 19:51:09 +0000 (19:51 +0000) | ||
| commit | bce3dca819b8f60c6a10b24f48c44b66e13ec376 | |
| tree | a8b3489c329f5ff96f6a70155b982ea28c37acb2 | tree | snapshot |
| parent | bb1a03359dfaea6031592d28b9bfb15d797c44e5 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/examples/ex_sta_ldec.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl | diff | blob | history |