diff options
| author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-28 16:14:59 +0100 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-28 16:14:59 +0100 |
| commit | f479497576c11bc0fcc116ede778d1744be6d78e (patch) | |
| tree | 21a5c0a04483fbcd38e5e1a81be2259576f336e2 /LICENSE | |
| parent | d5634a96698a29192d292ce03c7e4b7ff42a411a (diff) | |
| download | smtcoq-f479497576c11bc0fcc116ede778d1744be6d78e.tar.gz smtcoq-f479497576c11bc0fcc116ede778d1744be6d78e.zip | |
Fixes in Example.v
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions