]> matita.cs.unibo.it Git - helm.git/commit
Some qed-
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 28 Oct 2011 09:34:23 +0000 (09:34 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 28 Oct 2011 09:34:23 +0000 (09:34 +0000)
commitb4681c749d6e8812fe86d5a9adbf4d4acbc3df06
tree617333e751b7f4d36331de5a4f38bd9bfc9d4bb1
parent409f569bde067546830df25cd0b1ca898573f66a
Some qed-
matita/matita/lib/arithmetics/div_and_mod.ma
matita/matita/lib/arithmetics/exp.ma
matita/matita/lib/arithmetics/minimization.ma
matita/matita/lib/arithmetics/nat.ma
matita/matita/lib/arithmetics/primes.ma