projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 1 Feb 2010 07:57:00 +0000 (07:57 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 1 Feb 2010 07:57:00 +0000 (07:57 +0000) | ||
| commit | 221472ea1597505d12677f5742e388125a15e2b9 | |
| tree | a34d1c081d78385752738ab74332943a0e37cf16 | tree | snapshot |
| parent | 1640e695e405f800547bb1e34cb043e9afa8d10e | commit | diff |
| helm/software/matita/nlibrary/arithmetics/nat.ma | diff | blob | history |