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 | 3afba626a38de3f42d5efcfa0786a2162e77f1d4 | |
| tree | 6d010c3cf597b5e05cf3af00c07e08695640b973 | tree | snapshot |
| parent | c2a685aa0cfe62c79a278dab0752982442d3ac9a | commit | diff |
| helm/software/matita/tests/generalize.ma | diff | blob | history |