projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 21 Aug 2006 08:35:45 +0000 (08:35 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 21 Aug 2006 08:35:45 +0000 (08:35 +0000) | ||
| commit | 19f17706f835cff0e0cc0e6c65b9cb65d64a53a4 | |
| tree | 6067ff738350dfa2d5d16a3cd3d310a86169a8b3 | tree | snapshot |
| parent | 28b6f4150bea6fc07c8cde8a94b097bde62ad457 | commit | diff |
| helm/software/matita/tests/TPTP/fetch_results_tptp.lua | [new file with mode: 0755] | blob |
| helm/software/matita/tests/TPTP/unit_equality_problems.txt | [new file with mode: 0644] | blob |