index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
output
/
UnboundRef.v
blob: fd08ae0c5c73f6397d8fc0760a3c0bf6ff250b99 (
plain
)
1
2
Check
Prop
a
b
.
(
*
Prop
is
because
we
need
a
real
head
for
the
application
*
)
