Commit f3e0e61

committed

clean up

1 parent 288b583 commit f3e0e61Copy full SHA for f3e0e61

4 files changed

+161

-159

lines changed

proofs
- compiler
  - wint_int_proof.v
  - wint_word_proof.v
- lang
  - sem_op_typed.v
  - word.v

4 files changed

+161

-159

lines changed

Comments

(0)