diff options
| author | Brian Campbell | 2019-06-21 16:46:18 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-21 16:46:18 +0100 |
| commit | c90c1309a21886f8772c0c65184d0593bbc482c4 (patch) | |
| tree | 709ab29b649eb7b04d8d295a86e882d620856995 /src/lem_interp | |
| parent | e8697cb036720cdf75687f0c442c49dd48913bcb (diff) | |
Coq: better handling of unknown constraints
Move the tactic forward so that preprocessing can't try silly things,
simpl to get rid of embedded proofs.
Diffstat (limited to 'src/lem_interp')
0 files changed, 0 insertions, 0 deletions