index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
failure
/
Case1.v
blob: 6e76d42d245f2cc9078dbf7f2ea519c36d9ea3ee (
plain
)
1
2
3
4
Fail
Type
match
0
with
|
x
=>
0
|
O
=>
1
end
.
