diff options
author | Quentin Garchery <garchery.quentin@gmail.com> | 2018-10-27 18:08:53 +0200 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 18:29:50 +0200 |
commit | 4e6129afb9aab53d14f16ac74a5a4e80323b5813 (patch) | |
tree | 7037708e3ae50407842b8216117d0edb47e71c60 /src/Misc.v | |
parent | a2e8b2f68fa82ca96468cb0613710c07b27192da (diff) | |
download | smtcoq-4e6129afb9aab53d14f16ac74a5a4e80323b5813.tar.gz smtcoq-4e6129afb9aab53d14f16ac74a5a4e80323b5813.zip |
formatting
Diffstat (limited to 'src/Misc.v')
0 files changed, 0 insertions, 0 deletions