projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 20 Dec 2013 12:50:43 +0000 (12:50 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 20 Dec 2013 12:50:43 +0000 (12:50 +0000) | ||
| commit | 46a8a345410219548128c2533ce32b1a8eca6c06 | |
| tree | 9e5aa80b25b1a23b418732ddbba4197f0b190539 | tree | snapshot |
| parent | b5d702735754632652b2659c425dd67d7f92f24b | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/notation/relations/extpsubststar_6.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/relocation/cpy.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/basic_2/substitution/cpys.ma | [new file with mode: 0644] | blob |