projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 13 Sep 2005 14:36:06 +0000 (14:36 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 13 Sep 2005 14:36:06 +0000 (14:36 +0000) | ||
| commit | a0ac665821c78dc898d758b8cfd06995b1793dbc | |
| tree | 530d3f8729c0309fb41ab96cd86ad56b0d989d35 | tree | snapshot |
| parent | 86eaff4471bdce9f632838d3a0b18d082015c2db | commit | diff |
| helm/matita/tests/coercions.ma | diff | blob | history |