]>
2006-02-06 | Claudio Sacerdoti... | Basic facts about group morphisms. | blob | commitdiff | raw |
2006-02-06 | Claudio Sacerdoti... | * groups splitted into groups and finite_groups | blob | commitdiff | raw | diff to current |
2006-02-03 | Claudio Sacerdoti... | First proof on groups completed! | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |