projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:35:32 +0000 (11:35 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:35:32 +0000 (11:35 +0000) | ||
| commit | 74b3e5dbe1eebb48334494e9683838be183bdca0 | |
| tree | 6ebdbaf3dc2e9015d6c480b8f6d06b5b44e6ee25 | tree | snapshot |
| parent | f9ac9cf02a2b1641e4ff9845a4bb623570fef38a | commit | diff |
| helm/software/matita/tests/demodulation_coq.ma | diff | blob | history |