projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 14 Nov 2011 07:58:46 +0000 (07:58 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 14 Nov 2011 07:58:46 +0000 (07:58 +0000) | ||
| commit | d6578d33463c053073c6dab75728ca318717e1de | |
| tree | 22ea668fb136f7a6a2d8a472b0296f66e46e44f9 | tree | snapshot |
| parent | 39dbed815d5a62c639ce9bb276fd44809053afb3 | commit | diff |
| matitaB/components/ng_paramodulation/nCicParamod.ml | diff | blob | history | |
| matitaB/components/ng_paramodulation/superposition.ml | diff | blob | history |