coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Fast path for set operations.	Pierre-Marie Pédrot	2016-08-22
*	Adding a "get" primitive to map signature.	Pierre-Marie Pédrot	2016-02-03
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Merge remote-tracking branch 'origin/v8.5' into trunk	Guillaume Melquiond	2016-01-06
\|\\|
\| *	Protect code against changes in Map interface.	Maxime Dénès	2016-01-06
* \|	Equipping extended maps with fold operator defined for any monad.	Pierre-Marie Pédrot	2015-01-25
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Adding more sharing in Map.udpate and Map.modify.	Pierre-Marie Pédrot	2015-01-10
*	Fixing compilation on OCaml 4.01.	Pierre-Marie Pédrot	2014-03-05
*	Adding a smartmap[i] operator to maps.	Pierre-Marie Pédrot	2014-01-29
*	Adding fold_left / fold_right function to maps.	Pierre-Marie Pédrot	2013-11-24
*	Adding an unsafe mapping function to maps.	ppedrot	2013-11-13
*	Added an update function in CMap. It has the same signature as Map.add, but	ppedrot	2013-11-04
*	Added a [modify] function to maps.	ppedrot	2013-10-06
*	Removing association lists in Reductionops. Btw, defining the dual of the	ppedrot	2013-08-25
*	Added a more efficient way to recover the domain of a map.	ppedrot	2013-08-25