coq - The formal proof system

Age	Commit message (Expand)	Author
2017-12-23	[lib] Split auxiliary libraries into Coq-specific and general.	Emilio Jesus Gallego Arias
2017-12-13	[lib] Auxiliary functions in List + fixes.	Emilio Jesus Gallego Arias
2017-08-31	Merge PR #980: Adding combinators + a canonical renaming in List, Option, Name	Maxime Dénès
2017-08-29	Adding combinators + a canonical renaming in cList.ml.	Hugo Herbelin
2017-08-22	Prevent overallocation in Array.map_to_list and remove custom implementation ...	Guillaume Melquiond
2016-06-27	add CList.extract_first	Gabriel Scherer
2016-06-14	Add a [CList.partitioni] function.	Cyprien Mangin
2016-01-21	Stronger invariants on the use of the introduction pattern (pat1,...,patn).	Hugo Herbelin
2015-12-31	Do not compose List.length with List.filter.	Guillaume Melquiond
2014-10-22	Proofview: move [list_goto] to the [CList] module.	Arnaud Spiwack
2014-10-07	Splitting out of auto.ml a file hints.ml dedicated to hints so as to	Hugo Herbelin
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