diff options
| author | Brian Campbell | 2019-05-24 16:08:14 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-24 16:08:14 +0100 |
| commit | feb7562e12659bc6e112ca9e9165b8abf6bf62bb (patch) | |
| tree | b249ba21bf449f508e8fa1fc5a24d4849c085d5d /doc/usage.tex | |
| parent | e4498f776de81dd84bb6e8235e279fdeb3350253 (diff) | |
Coq: support if-then-throw typechecking special case
Diffstat (limited to 'doc/usage.tex')
0 files changed, 0 insertions, 0 deletions