projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:29:57 +0000 (11:29 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:29:57 +0000 (11:29 +0000) | ||
| commit | 22a1adbced01aab460077715979ab3fb996ce361 | |
| tree | 3d65d65d44499dc6d134aeec89449539b68268a5 | tree | snapshot |
| parent | 27c08bef1eb2f240f5542963d1a245bc391909e1 | commit | diff |
| matita/tests/generalize.ma | diff | blob | history |