projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 21 Aug 2006 08:41:29 +0000 (08:41 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 21 Aug 2006 08:41:29 +0000 (08:41 +0000) | ||
| commit | d343c00b65aab7021e7e9a53bd52cd9b80d2c079 | |
| tree | 6aac27e08488c4df2b02097b23188207ecca9ae6 | tree | snapshot |
| parent | f01ea391a615404b49aee832452bec33d3e595dd | commit | diff |
| matita/tests/TPTP/fetch_results_tptp.lua | diff | blob | history | |
| matita/tests/TPTP/unit_equality_problems.txt | diff | blob | history |