projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 13 Jul 2009 09:13:12 +0000 (09:13 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 13 Jul 2009 09:13:12 +0000 (09:13 +0000) | ||
| commit | 6003ba0e4600778c6055ed5ea5cb6c1fba3abe32 | |
| tree | dbbbf7c8d7856034876be22c51300c7e4356b89c | tree | snapshot |
| parent | 72aa8b2087285826b14fc39a389632f0317c51b6 | commit | diff |
| helm/software/matita/nlibrary/algebra/magmas.ma | diff | blob | history | |
| helm/software/matita/nlibrary/logic/equality.ma | diff | blob | history |