coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-12-12	Avoid Fixpoint without struct nor body in stdlib	Maxime Dénès
	As reported in #9060, the STM does not handle such constructions properly. They are anyway fragile, for example Guarded reports a failure if run at the end of the scripts, so this patch is an improvement.
2018-07-16	bin,oct,hex conversions positive,Z,N,nat<->string	Jason Gross