projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 09:48:14 +0000 (09:48 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 09:48:14 +0000 (09:48 +0000) | ||
| commit | ce59baa99eeb2703be96d576e66d0b5118268f82 | |
| tree | 78d19c0ba630a68d45aa2297f4dbfd105c04f12d | tree | snapshot |
| parent | 30e4cb7589afc0d4ef56ede52118269105377ea3 | commit | diff |
| matita/tests/bool.ma | diff | blob | history | |
| matita/tests/naiveparamod.ma | diff | blob | history | |
| matita/tests/paramodulation.ma | diff | blob | history |