aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/bigint.mli
Commit message (Expand)AuthorAge
* Processor integers + Print assumption (see coqdev mailing list for the Gravatar aspiwack2007-05-11
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...Gravatar herbelin2004-12-24