projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 28 Jun 2006 09:02:56 +0000 (09:02 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 28 Jun 2006 09:02:56 +0000 (09:02 +0000) | ||
| commit | 5850504e7ff5462ddf9574530b33aac0a61d5f18 | |
| tree | 5d24910df34258d1a54ab1b6ba9d9c9fca0f80c5 | tree | snapshot |
| parent | bda29a2000988977ba42c3eef5a711fe5158adbd | commit | diff |
| matita/library/paramodulation/paramodulation.ma | [new file with mode: 0644] | blob |