projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 6 Jul 2005 11:27:45 +0000 (11:27 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 6 Jul 2005 11:27:45 +0000 (11:27 +0000) | ||
| commit | d43194ae7fed02d5454e329c3b1de3e5c667068b | |
| tree | e4f939b565ac1800c9248c3970c942d621c216d9 | tree | snapshot |
| parent | 646ade789430669f4a6be3ecbf47d89fe865f132 | commit | diff |
| helm/matita/tests/fguidi.ma | diff | blob | history |