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 | e911b6059516265131b18f6e9f571430713d04a7 | |
| tree | 8e9c2f5c98799ee82ce4b0d11c4832fde46b39ca | tree | snapshot |
| parent | 3a68c1b1f891a19d87c9963a5da2e4b76aadf455 | commit | diff |
| helm/software/matita/dama/ordered_groups.ma | diff | blob | history | |
| helm/software/matita/tests/coercions_russell.ma | diff | blob | history |