diff options
| author | Brian Campbell | 2018-07-16 15:59:23 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-16 18:29:45 +0100 |
| commit | a48dad8232a7db82c74a72157249a27ce25d326e (patch) | |
| tree | 58dc296c5046a6716dfbbc645d60d433eebc8973 /lib/string.sail | |
| parent | 7bdcdcc7abdde74993020d1f2c33ea00d6784fc4 (diff) | |
Coq: add support for more complex atom types
As a result, add proof to pow2.
Diffstat (limited to 'lib/string.sail')
0 files changed, 0 insertions, 0 deletions