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
/
2080.v
blob: 62c42c8c31e8a5895b38f36d70e679627bfbba95 (
plain
)
1
Fail
Ltac
clear
h
:=
inversion
h
;
clear
h
.
