diff options
| author | Thomas Bauereiss | 2018-01-31 12:47:18 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-01-31 12:49:20 +0000 |
| commit | e87c76b560921620a0e0f0b472c243e3c0a3bcb2 (patch) | |
| tree | ed8730a001d17d7d3020013f709192bd5b1a7e50 /src/pattern_completeness.mli | |
| parent | 3cad2ad60f5f5f05ef94ba38590539939d3ccda0 (diff) | |
Add wrappers around Lem operators using bitvector type class
Makes bitvector typeclass instance dictionaries disappear from generated
Isabelle output.
Diffstat (limited to 'src/pattern_completeness.mli')
0 files changed, 0 insertions, 0 deletions