projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 24 Jul 2012 08:10:59 +0000 (08:10 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 24 Jul 2012 08:10:59 +0000 (08:10 +0000) | ||
| commit | 300f861716441d08397ab79056314b2dc7d5ea94 | |
| tree | b33f0986e5ee9d568d0b5f85c39d3802e76d9d59 | tree | snapshot |
| parent | 439b6ec33d749ba4e6ae0938e973a85bc23e306e | commit | diff |
| matita/matita/contribs/lambda_delta/basic_2/reducibility/crf_append.ma | [new file with mode: 0644] | blob |