projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 14 Jun 2006 14:33:57 +0000 (14:33 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 14 Jun 2006 14:33:57 +0000 (14:33 +0000) | ||
| commit | ece3091be1c4a6fec72992f87bcd56bef19c42de | |
| tree | 65cadaf19fe767ef16cfd4da59179a022e47f6cb | tree | snapshot |
| parent | 055d70a5a4eb9d05ec21c38fb0e50c39a8f3ad88 | commit | diff |
| matita/library/nat/permutation.ma | diff | blob | history | |
| matita/matita.conf.xml.in | diff | blob | history |