projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 10 Feb 2010 09:23:29 +0000 (09:23 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 10 Feb 2010 09:23:29 +0000 (09:23 +0000) | ||
| commit | 68710656f43bcc362a14df381cc03dc92feab73d | |
| tree | 2e757a166327d8df632b89c6bfb770552a58ed1f | tree | snapshot |
| parent | 213cd54a013aca96640d611f2c6c65f7f8e24f4c | commit | diff |
| helm/software/matita/nlibrary/arithmetics/nat.ma | diff | blob | history |