projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 8 Jul 2009 18:20:47 +0000 (18:20 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 8 Jul 2009 18:20:47 +0000 (18:20 +0000) | ||
| commit | a17430d258e886b5164fca3d65ee7da7c40e6a36 | |
| tree | c48b0c8f7c1f5f469d8e35d3828934d6e7765efc | tree | snapshot |
| parent | 8464b71fdd68fade06484512b31077ff1a5a796a | commit | diff |
| helm/software/matita/nlibrary/algebra/magmas.ma | diff | blob | history | |
| helm/software/matita/nlibrary/logic/connectives.ma | diff | blob | history |