index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
misc
/
redirect_printing.v
blob: 2f9096bcb80701354a6a3d17c6867edf34079970 (
plain
)
1
2
Set
Printing
Width
999999.
Redirect
"redirect_test"
Check
nat_ind
.
