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_13240.out
blob: 5fccef5cfe71a33df17fb06c11b858d53c6d426e (
plain
)
1
2
3
Ltac t1 a b := a ; last b Ltac t2 := do !idtac Ltac t3 := idtac => True
