Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Numbers: properties of min/max with respect to 0,S,P,add,sub,mul | 2010-02-09 | |
* | NPeano improved, subsumes NatOrderedType | 2010-02-09 | |
* | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | 2009-12-09 |