]>
2007-09-11 | Cristian Armentano | some theorem names changed. | blob | commitdiff | raw |
2007-09-09 | Cristian Armentano | other simplifications. | blob | commitdiff | raw | diff to current |
2007-09-07 | Cristian Armentano | some simplifications. | blob | commitdiff | raw | diff to current |
2007-08-16 | Cristian Armentano | little change to theorem eq_gcd_times_times_eqv_times_gcd | blob | commitdiff | raw | diff to current |
2007-06-27 | Cristian Armentano | new gcd properties, and theorems for totient, and theor... | blob | commitdiff | raw | diff to current |