projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 18 Jul 2008 13:13:43 +0000 (13:13 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 18 Jul 2008 13:13:43 +0000 (13:13 +0000) | ||
| commit | 924e5de699b84c18d438df639ebb1efe094c39a1 | |
| tree | c0c00e60c0ce8b4aca1cc4bfa9adc6a761517fc5 | tree | snapshot |
| parent | c699a9669505947487dce49383fa50fe9b9968e8 | commit | diff |
| helm/software/matita/library/demo/natural_deduction.ma | diff | blob | history |