projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 28 Jul 2010 16:14:53 +0000 (16:14 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 28 Jul 2010 16:14:53 +0000 (16:14 +0000) | ||
| commit | e17c4da82bd52712f03c112660c52eb8f1783843 | |
| tree | 7a0997e47af3c5fe1ce3c8fefe625c1a19d76186 | tree | snapshot |
| parent | c76b5031700d8a06d19afb54abc81bf5d34d8242 | commit | diff |
| helm/software/matita/nlibrary/logic/cologic.ma | diff | blob | history |