feat(tactic/find): find defs as well as theorems #1512
feat(tactic/find): find defs as well as theorems
aa1d52a7
use env.mfold
6ca038d5
khoek
commented
on 2019-10-07
use try
2aa28184
rwbarton
approved these changes
on 2019-10-07
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into find
b88f072d
mergify
merged
045d931e
into master 6 years ago
mergify
deleted the find branch 6 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub