]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Tue, 23 Mar 2010 15:52:29 +0000 (15:52 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Tue, 23 Mar 2010 15:52:29 +0000 (15:52 +0000) | ||
commit | 0a5e353bdadc4194e8becc7b960088ed4dbf68c1 | |
tree | 2766cfe0612fc23cc869f1a29a42a56534b34c72 | tree | snapshot |
parent | adc7a41ccbed2f36778c662d8a2ce06e192fb555 | commit | diff |
helm/software/matita/nlibrary/arithmetics/nat.ma | diff | blob | history |