Commit message (Expand) | Author | Age | |
---|---|---|---|
* | FinFun.v: results about injective/surjective/bijective fonctions over finite ... | 2014-02-07 | |
* | isolate instances about Permutation and PermutationA which may slow rewrite | 2012-07-10 | |
* | Remove obsolete TheoryList | 2011-02-10 | |
* | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | 2009-12-09 |