]> matita.cs.unibo.it Git - helm.git/commit
restructuring
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 17 Dec 2012 11:08:59 +0000 (11:08 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 17 Dec 2012 11:08:59 +0000 (11:08 +0000)
commitd4e183088f0652c276fbd98272822af845aa9fd2
treebbd5c00d1058afeb16ad2521ecaaed0130b14a7e
parente643893c8f58c2ac50227f16cc119cad0b20704e
restructuring
matita/matita/lib/arithmetics/big_pi.ma
matita/matita/lib/arithmetics/bigops.ma
matita/matita/lib/arithmetics/binomial.ma
matita/matita/lib/arithmetics/sigma_pi.ma