1 commit

Author	SHA1	Message	Date
Théo Zimmermann	f4914d4eb4	bignums: init at various versions ... Bignums used to be part of the standard library of Coq. We provide a version for Coq 8.6, and one for Coq 8.7.	2017-11-05 16:59:23 +01:00