diff options
| author | James Pollard <james@pollard.dev> | 2020-06-18 17:12:20 +0100 |
|---|---|---|
| committer | James Pollard <james@pollard.dev> | 2020-06-18 17:12:20 +0100 |
| commit | 6b20fbbeaad23724ca7fbcc10c9445f5cb94b699 (patch) | |
| tree | cbfa0c83d6d010286ce5e20c0803dd0a17f0c8d1 /src/translation/HTLgen.v | |
| parent | f5172e5c66ab7175d5e90acee69e88ac214f4b0f (diff) | |
| download | vericert-6b20fbbeaad23724ca7fbcc10c9445f5cb94b699.tar.gz vericert-6b20fbbeaad23724ca7fbcc10c9445f5cb94b699.zip | |
Tidy up proof.
Diffstat (limited to 'src/translation/HTLgen.v')
0 files changed, 0 insertions, 0 deletions