index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
bugs
/
closed
/
bug_11845.v
blob: d27f8c4ef07da08ef40b7d95e1089309ae7dc11a (
plain
)
1
2
3
4
5
6
Module
Type
T
.
Parameter
Inline
v
:
Prop
.
End
T
.
Module
F
(
A:
T
).
End
F
.
Fail
Include
F
.
