coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
	Add headers to a few files which were missing them.
2019-12-28	Extend `Print Canonical Projections` with a search functionality	Kazuhiko Sakaguchi
	The `Print Canonical Projections` command now can take constants and prints only the unification rules that involves or are synthesized from given constants.
2019-12-22	Rename files with Class in their name to make their role clearer.	Pierre-Marie Pédrot
	We restrict to those that are actually related to typeclasses, and perform the following renamings: Classops --> Coercionops Class --> ComCoercion
2019-10-31	[prettyp] remove `mod_ops` and `indirect_accessor` parameters	Gaëtan Gilbert
	`Prettyp` is now late enough in linking to refer to them.
2019-10-31	Move prettyp (Print implementation) to vernac/	Gaëtan Gilbert