projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 18 Mar 2010 11:35:44 +0000 (11:35 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 18 Mar 2010 11:35:44 +0000 (11:35 +0000) | ||
| commit | fb0a4ba033da3ea305e0add8c2ec4573e95fa3d2 | |
| tree | 0979f4b183ddb2bf6f7d53107b0736353461930b | tree | snapshot |
| parent | 63047f8ff8ef477ac32939985b0b41b70e918054 | commit | diff |
| helm/software/matita/nlibrary/arithmetics/nat.ma | diff | blob | history |