projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 9 Oct 2006 06:53:04 +0000 (06:53 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 9 Oct 2006 06:53:04 +0000 (06:53 +0000) | ||
| commit | 14bc24bbe3ae7c8bcb3436b1d57d5376c93c915d | |
| tree | de983ea4c1ff3c612c7cb7e641c1d71fbdf7e224 | tree | snapshot |
| parent | b4fb0f2e1117b441b18cead42be52f858e0400b4 | commit | diff |
| components/tactics/paramodulation/saturation.ml | diff | blob | history |