projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 17 May 2012 20:11:06 +0000 (20:11 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 17 May 2012 20:11:06 +0000 (20:11 +0000) | ||
| commit | c4f24127fe0e4620b6aac4a0c60ad30a106c8ab4 | |
| tree | 8a60f214b9936d9f1ef9b983ba71c5f8b8270727 | tree | snapshot |
| parent | ceb81586cd493164f9c980c4f97ed0b4dbc6f545 | commit | diff |
| matita/components/ng_paramodulation/.depend | diff | blob | history | |
| matita/components/ng_paramodulation/.depend.opt | diff | blob | history |