3 commits

Author	SHA1	Message	Date
Vincent Laporte	fcb89df111	coqPackages.multinomials: init at 1.0	2017-12-18 15:30:38 +00:00
Vincent Laporte	4c454a3208	coq: minor cleaning	2017-12-18 15:30:36 +00:00
Vincent Laporte	d9f41a5bce	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00