diff options
author | 2018-12-21 13:30:19 -0500 | |
---|---|---|
committer | 2018-12-21 13:30:19 -0500 | |
commit | b42fc8571eaa5cb99633d01d2ac3abeec1a3b95f (patch) | |
tree | f3ab5a06ab9e36c07083fb77b08fa765b9e7088c /src/Util/Decidable | |
parent | ae141ea08f9ae743650ee49722f97049459e40ba (diff) |
Add has_body tactic
Diffstat (limited to 'src/Util/Decidable')
0 files changed, 0 insertions, 0 deletions