coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
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
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2012-08-08	Updating headers.	herbelin
2011-01-03	Numbers: some improvements in proofs	letouzey
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-08	Made option "Automatic Introduction" active by default before too many	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-12-18	RelationPairs: stop loading it in all Numbers, stop maximal args with fst/snd	letouzey
2009-11-06	Numbers: more (syntactic) changes toward new style of type classes	letouzey
2009-11-03	Numbers: start using Classes stuff, Equivalence, Proper, Instance, etc	letouzey
2008-12-12	Uniformity with the rest of the StdLib : _symm --> _sym	letouzey
2008-05-19	Thanks to Matthieu's commit 10941, Ad-hoc tactics contained in QRewrite are n...	letouzey
2008-05-17	Fix a de Bruijn bug in setoid_rewrite when rewriting under	msozeau
2008-05-15	In practice, the new setoid rewrite (and the "at" syntax) allows to avoid	letouzey
2008-05-15	Coq headers + $ in theories/Numbers files	letouzey
2008-04-12	Add the ability to specify what to do with free variables in instance	msozeau
2008-03-06	Plug the new setoid implemtation in, leaving the original one commented	msozeau
2007-11-08	Moved several lemmas from theories/Numbers/NumPrelude to theories/Init/Logic.	emakarov
2007-11-07	Replaced BinNat with a new version that is based on theories/Numbers/Natural/...	emakarov
2007-11-03	An update of theories/Numbers	emakarov
2007-10-23	Added Numbers/Natural/Abstract/NIso.v that proves that any two models of natu...	emakarov
2007-10-01	Added the compilation of theories/Numbers to Makefile.common. The following t...	emakarov
2007-09-21	Update on theories/Numbers. Natural numbers are mostly complete,	emakarov
2007-09-13	Update before joining all signatures into one.	emakarov
2007-08-13	An update on axiomatic number classes.	emakarov
2007-07-24	An update on axiomatization of numbers.	emakarov
2007-07-13	An update on axiomatization of number classes.	emakarov
2007-06-29	Added the directory theories/Numbers where axiomatizations and implementation...	emakarov