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 | abd976fb6603a85c1da6d1582114e7c1fa472449 | |
| tree | 90fdca5e89b321cfa407bb5505e4e598a3f4ee32 | tree | snapshot |
| parent | 243c74aa19466dce8eb1b9f9cab853315effdc18 | commit | diff |
| helm/software/matita/library/nat/permutation.ma | diff | blob | history | |
| helm/software/matita/matita.conf.xml.in | diff | blob | history |