]> matita.cs.unibo.it Git - helm.git/commit
Non working parts of the library commented out.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Nov 2011 17:50:21 +0000 (17:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Nov 2011 17:50:21 +0000 (17:50 +0000)
commit2983f88c7fedc8973e1104322fa884fb6b3cfb30
tree3a6a0fcd80035a96f049b3248563494b43e6b171
parent9f339b4b34e47c5ae7580512e4a1b1c50a152c0f
Non working parts of the library commented out.
matita/matita/lib/arithmetics/bigops.ma
matita/matita/lib/arithmetics/binomial.ma
matita/matita/lib/arithmetics/nth_prime.ma
matita/matita/lib/arithmetics/sigma_pi.ma