projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 11 Jul 2007 09:11:18 +0000 (09:11 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 11 Jul 2007 09:11:18 +0000 (09:11 +0000) | ||
| commit | 4bf40610a623aedbcae915a3b5487b773d4c59eb | |
| tree | a9fbd2f4e3f8ee6aa4afb1e6b64886785189d2aa | tree | snapshot |
| parent | 0e940e14a96949c07d547b396957c17c507adde9 | commit | diff |
| matita/dama/ordered_fields_ch0.ma | diff | blob | history |