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-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

2017-03-03	Logic library: Adding a characterization of excluded-middle in term of	Hugo Herbelin
	choice of a representative in a partition of bool. Also move a result about propositional extensionality from ClassicalFacts.v to PropExtensionalityFacts.v, generalizing it by symmetry. Also spotting typos (thanks to Théo).
2016-10-06	Fixing unexpected "noise" introduced in commit 24d5448c.	Hugo Herbelin
	A file was introduced by mistake in theories/Logic.
2016-10-02	More tests for tactic "subst".	Hugo Herbelin