index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
theories
/
Numbers
/
BinNums.v
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
2019-01-25
[Numeral notations] Use Coqlib registered constants
Vincent Laporte
2018-10-10
[coqlib] Rebindable Coqlib namespace.
Emilio Jesus Gallego Arias
2018-09-10
Adapting standard library to the introduction of "Declare Scope".
Hugo Herbelin
2018-08-31
Numeral Notation for nat
Pierre Letouzey
2018-06-29
Splitting primitive numeral parser/printer for positive, N, Z into three files.
Hugo Herbelin
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
2013-07-17
"Boolean Equality" and "Case Analysis" are already off by default...
letouzey
2012-08-08
Updating headers.
herbelin
2011-11-21
theories/, plugins/ and test-suite/ ported to the Arguments vernacular
gareuselesinge
2011-05-05
Definitions of positive, N, Z moved in Numbers/BinNums.v
letouzey
