diff options
| author | Brian Campbell | 2018-06-22 10:57:52 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-22 15:26:32 +0100 |
| commit | 91fa030034661953f2299a41c31fb7647288b4cb (patch) | |
| tree | 032323e0b9c61a19e4eb5e2b764fc0f200eae19c /lib/coq/Sail2_operators_bitlists.v | |
| parent | 3d8609d963ee411f777ba18dc24fe57bf39dcaab (diff) | |
Coq: use simple forms for simple pattern matches in E_internal_let
Diffstat (limited to 'lib/coq/Sail2_operators_bitlists.v')
0 files changed, 0 insertions, 0 deletions