diff options
| author | Brian Campbell | 2019-05-22 17:55:35 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-22 17:55:56 +0100 |
| commit | 3be44958890f9ee9e45f92e379d562d170869bf0 (patch) | |
| tree | 0c6279f69c8c29f2260ec70147fca698b54dafee /lib/exception_basic.sail | |
| parent | 446931aa3eff319d37b8a98fdf1e877dde4514dc (diff) | |
Coq: tweak disjunctions tactic with subst to support more constraints
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions