]>
author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Thu, 25 Mar 2010 18:00:49 +0000 (18:00 +0000) | ||
committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Thu, 25 Mar 2010 18:00:49 +0000 (18:00 +0000) | ||
commit | 6b229b2d85552d78fcbce805248f87559f7f6df8 | |
tree | 93ea932f7402bd95b6d9aeadc645317f8e0d478e | tree | snapshot |
parent | 2c31f199f35d96d7b0dd86f738c8d4887b37446d | commit | diff |
helm/software/matita/nlibrary/arithmetics/Z.ma | diff | blob | history |