diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2020-12-01 10:10:49 +0000 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2020-12-01 10:10:49 +0000 |
| commit | e13aa93b0dc2df09aa5bb6ead501b955c5ca924c (patch) | |
| tree | fbfeb84b098986a4d22572b17e028bd0adde9c3b /src/translation/HTLgenproof.v | |
| parent | 121a223e8d5be2414698aa4c464e3d8c6fa92f39 (diff) | |
| download | vericert-e13aa93b0dc2df09aa5bb6ead501b955c5ca924c.tar.gz vericert-e13aa93b0dc2df09aa5bb6ead501b955c5ca924c.zip | |
Update proofs in HTLgenspec
Diffstat (limited to 'src/translation/HTLgenproof.v')
0 files changed, 0 insertions, 0 deletions