coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-26	Merge PR #11885: Sorting: Swap the names of Sorted_sort and LocallySorted_sort	Hugo Herbelin
2020-03-23	Fix levels of `<=?` and `<?` in the stdlib	Jason Gross
2020-03-23	Sorting: Swap the names of Sorted_sort and LocallySorted_sort	Lysxia
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2012-08-08	Updating headers.	herbelin
2012-07-09	induction/destruct : nicer syntax for generating equations (solves #2741)	letouzey
2010-12-04	Fixing coqdoc pretty-printing of a table in Mergesort. Incidentally,	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-02-16	Uniformisation Sorting/Mergesort and Structures/Orders	letouzey
2009-12-13	Addition of mergesort + cleaning of the Sorting library	herbelin