]>
2007-07-30 | Cristian Armentano | renamed generic_sigma_p.ma to generic_iter_p.ma | blob | commitdiff | raw |
2007-06-29 | Cristian Armentano | generic version, specializing generic_sigma_p.ma | blob | commitdiff | raw | diff to current |
2007-06-29 | Cristian Armentano | generic version | blob | commitdiff | raw | diff to current |
2007-06-29 | Cristian Armentano | theorems about sigma_p proved using sigma_p_gen | blob | commitdiff | raw | diff to current |
2007-05-24 | Enrico Tassi | auto and autogui... some work | blob | commitdiff | raw | diff to current |
2007-05-09 | Andrea Asperti | Proof of the moebius inversion theorem | blob | commitdiff | raw | diff to current |
2007-03-16 | Andrea Asperti | New contrib moebius.ma. | blob | commitdiff | raw | diff to current |