diff options
| author | Guillaume Melquiond | 2021-02-19 19:10:25 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-02-19 19:10:25 +0100 |
| commit | 88e688182ded232f474102d400e4e4e95861f94d (patch) | |
| tree | 59fa054515064ef255976f7df34b98621ea936b5 /kernel/genOpcodeFiles.ml | |
| parent | 19752f81e096daac43119a144f8065dabbdb1e82 (diff) | |
Terminate intermediate lemmas with Qed.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions