index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
output
/
bug_13112.out
blob: a8a98d6b680405cb86f70eb8fef3832736d51371 (
plain
)
1
2
3
4
0 + 0 : nat HI : nat
