projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 27 Sep 2006 15:56:51 +0000 (15:56 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 27 Sep 2006 15:56:51 +0000 (15:56 +0000) | ||
| commit | fe1ff2ab8292b87ba06ccfa538b15459e8f7114a | |
| tree | 555332383342660ac6edd9de31973526dcb8b2d8 | tree | snapshot |
| parent | 9897efac755aac85095075b7e0a967fe340092c1 | commit | diff |
| matita/library/logic/connectives.ma | diff | blob | history | |
| matita/library/logic/connectives2.ma | [new file with mode: 0644] | blob |
| matita/library/technicalities/setoids.ma | diff | blob | history |