]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 9 Oct 2006 18:18:24 +0000 (18:18 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 9 Oct 2006 18:18:24 +0000 (18:18 +0000) | ||
commit | 1fb4a3751e889ec66bd5263a9813415053e63cd3 | |
tree | e769af5e89323eb07d2067a6d3120c64b14348ea | tree | snapshot |
parent | 46834f1afe49d481045a40fb1bf6ddbddcfef9f5 | commit | diff |
helm/software/matita/library/nat/gcd.ma | diff | blob | history |