coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Declarations.mli: reorganization of modular structures	letouzey	2013-08-20
*	Fixing a bug in the native compiler, introduced by r16363, leading to undefined	mdenes	2013-07-06
*	Native compiler: hash-consing of generated code and values.	mdenes	2013-03-25
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22