projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 29 Aug 2006 18:08:08 +0000 (18:08 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 29 Aug 2006 18:08:08 +0000 (18:08 +0000) | ||
| commit | 46df1bf21d9363b5a1185d0c4d4e943ed38b97ef | |
| tree | a1d8ae32fec87713cec239d06bf1a0e3fed90b75 | tree | snapshot |
| parent | 2c02edd3b093427585b29bc4a3365279b094789f | commit | diff |
| matita/library/legacy/coq.ma | diff | blob | history |