projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 3 Feb 2014 21:57:36 +0000 (21:57 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 3 Feb 2014 21:57:36 +0000 (21:57 +0000) | ||
| commit | 09f9b390eb43b7dfddd4c8859a2ee7ac09a30aca | |
| tree | 58e40e87234f6f78a8a92a2ac30e0c8eda5db318 | tree | snapshot |
| parent | 1f30483032488ac4df2310b68fe8146e05524fec | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubsteval_6.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubstevalalt_6.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/relocation/cny.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/basic_2/relocation/cny_lift.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/basic_2/substitution/cpye.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/substitution/cpye_lift.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl | diff | blob | history |