]> matita.cs.unibo.it Git - helm.git/commit
Nuova versione di not.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Mar 2010 11:35:44 +0000 (11:35 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Mar 2010 11:35:44 +0000 (11:35 +0000)
commitfb0a4ba033da3ea305e0add8c2ec4573e95fa3d2
tree0979f4b183ddb2bf6f7d53107b0736353461930b
parent63047f8ff8ef477ac32939985b0b41b70e918054
Nuova versione di not.
helm/software/matita/nlibrary/arithmetics/nat.ma