diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-22 00:12:24 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-22 00:12:24 +0100 |
commit | 83998e544f51f06026fb32d115b74f9d1303e629 (patch) | |
tree | 74b223dced6129af2e6943c310a73201ef9391e0 /src/Simulator.v | |
parent | 5e440ccec06e740c0ee8dc8eb0e54a7284d5aef7 (diff) | |
download | vericert-kvx-83998e544f51f06026fb32d115b74f9d1303e629.tar.gz vericert-kvx-83998e544f51f06026fb32d115b74f9d1303e629.zip |
Remove unnecessary Lemma
Still cannot run these functions inside Coq itself, however, they work
when they are extracted to Caml.
Diffstat (limited to 'src/Simulator.v')
0 files changed, 0 insertions, 0 deletions