projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 13 Nov 2007 10:35:09 +0000 (10:35 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 13 Nov 2007 10:35:09 +0000 (10:35 +0000) | ||
| commit | ae98f5490e20dd26ece5804d9847acfba0e4d16b | |
| tree | 32cadc3f6a54c4d95c756da0dd44706873a097bf | tree | snapshot |
| parent | 3f70fa72abe1d8453ea3565f4a33a05832dbc2e0 | commit | diff |
| matita/dama/ordered_groups.ma | diff | blob | history | |
| matita/tests/coercions_russell.ma | diff | blob | history |