]>
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 | c34722e7f8ca26ed55a63a02dbfd7f3c4d2038b5 | |
tree | 9b3d2608df8bcbd0fd23578f8e80019027f97acb | tree | snapshot |
parent | a4615d2bfdc6fcc81e75faf4fc023d7bf4cdcf78 | commit | diff |
matita/library/nat/gcd.ma | diff | blob | history |