projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 8 Nov 2007 14:54:31 +0000 (14:54 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 8 Nov 2007 14:54:31 +0000 (14:54 +0000) | ||
| commit | b76f72834c3885d06ceb71d92bf53e5d6334b24a | |
| tree | 86bea0f98b4d2bb3f384f0a655282f0adf2491a2 | tree | snapshot |
| parent | 0d3abcf9c11d95736820c9c6a8240d71f252941b | commit | diff |
| matita/library/decidable_kit/eqtype.ma | diff | blob | history | |
| matita/library/decidable_kit/list_aux.ma | diff | blob | history |