projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 21 Feb 2007 15:59:26 +0000 (15:59 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 21 Feb 2007 15:59:26 +0000 (15:59 +0000) | ||
| commit | e8334d2db9b6d618f6a10aaee6d802aa75b63499 | |
| tree | 6ccf3d3d1449457b5a12a430171704530ab9d6cc | tree | snapshot |
| parent | 3f38b6dc5e48855b7a2170de5a5ccb30aded766c | commit | diff |
| matita/tests/decompose.ma | diff | blob | history | |
| matita/tests/fguidi.ma | diff | blob | history | |
| matita/tests/paramodulation/boolean_algebra.ma | diff | blob | history |