coq - The formal proof system

Age	Commit message (Expand)	Author
2014-05-06	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau
2014-03-02	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey
2013-10-24	More monomorphic List.mem + List.assoc + ...	letouzey
2013-10-24	Fix the semantic of the new List.remove_assoc_f	letouzey
2013-10-24	Turn many List.assoc into List.assoc_f	letouzey
2013-10-23	cList: a few alternative to hashtbl-based uniquize, distinct, subset	letouzey
2013-10-23	CList.factorize_left with a parametric equality	letouzey
2013-10-23	CList.prefix_of and CList.drop_prefix with a parametric equality	letouzey
2013-10-23	cList.index is now cList.index_f, same for index0	letouzey
2013-10-23	cList: set-as-list functions are now with an explicit comparison	letouzey
2013-10-10	Clib: fold_left_until added to CList	gareuselesinge
2013-08-28	Removing some lone List.assoc & List.mem in lib.	ppedrot
2013-03-23	Minor code cleaning in CArray / CList.	ppedrot
2012-11-22	Monomorphization (lib)	ppedrot
2012-11-20	Cleaning and small optimization in CList.	ppedrot
2012-09-18	More cleaning in CArray...	ppedrot
2012-09-18	Cleaning interface of Util.	ppedrot
2012-09-17	More cleaning on Utils and CList. Some parts of the code being	ppedrot
2012-09-15	Some documentation and cleaning of CList and Util interfaces.	ppedrot
2012-09-14	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot