]>
2006-02-15 | Enrico Tassi | added support for "polymorphic" coercions | blob | commitdiff | raw |
2006-02-08 | Stefano Zacchiroli | comment out an incomplete proof | blob | commitdiff | raw | diff to current |
2006-02-07 | Claudio Sacerdoti... | Added a few basic definitions of subgroups and left... | blob | commitdiff | raw | diff to current |
2006-02-06 | Claudio Sacerdoti... | Basic facts about group morphisms. | blob | commitdiff | raw | diff to current |
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 |