projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 6 Jul 2005 14:52:52 +0000 (14:52 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 6 Jul 2005 14:52:52 +0000 (14:52 +0000) | ||
| commit | 98f91a1c3b122ac026e38d16c9cbac50f9562f7d | |
| tree | bae14c4f8f6d2a93bdc00db235d1492df50bc54d | tree | snapshot |
| parent | fddf15f1e9d253316bdcb854c2ff7ec64144bde8 | commit | diff |
| helm/matita/tests/clearbody.ma | [new file with mode: 0644] | blob |
| helm/matita/tests/constructor.ma | [new file with mode: 0644] | blob |