projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 29 May 2007 09:26:02 +0000 (09:26 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 29 May 2007 09:26:02 +0000 (09:26 +0000) | ||
| commit | dd4b01b7fbd69a4af86ec5d41eb5da39a27e4a64 | |
| tree | 9d3c2a3255dc19a599de5d7a50ea5e51ea03f501 | tree | snapshot |
| parent | 7daacec4a770f317d9c68c087bf93f1454d0e765 | commit | diff |
| components/tactics/auto.ml | diff | blob | history | |
| components/tactics/paramodulation/equality.ml | diff | blob | history |