index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
theories
/
Numbers
/
NatInt
/
Makefile
blob: e23d8dee24e657c205381d0518c39db3a162dea2 (
plain
)
1
2
3
4
.SUFFIXES
:
.
v
.
vo
.
vi
.
g
.
html
.
tex
.
g
.
tex
.
g
.
html
.v.vo
:
coqtop
-boot
-compile
$*
