projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 29 Sep 2006 12:48:07 +0000 (12:48 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 29 Sep 2006 12:48:07 +0000 (12:48 +0000) | ||
| commit | 1f5f06486c55c3db9f2d0fa08e170aab0261943b | |
| tree | d67e9bca200094b6687b30ae8038a1689ce4bced | tree | snapshot |
| parent | 58c80e82b2e0aea89e18e588028fb0f53479c219 | commit | diff |
| helm/software/matita/tests/makefile | diff | blob | history | |
| helm/software/matita/tests/paramodulation/irratsqrt2.ma | [new file with mode: 0644] | blob |