projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 16 May 2012 22:25:03 +0000 (22:25 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 16 May 2012 22:25:03 +0000 (22:25 +0000) | ||
| commit | 6b46ffbedfb4d105e48319f4bed26fb3f76f17d3 | |
| tree | a3ca6f3dea7e05d32578e89dda9fc9959377fd3a | tree | snapshot |
| parent | 974970b91996a4caae7af96b85acde33254cdfc9 | commit | diff |
| matita/components/ng_paramodulation/nCicParamod.ml | diff | blob | history | |
| matita/components/ng_paramodulation/nCicParamod.mli | diff | blob | history |