diff options
| author | Peter Sewell | 2018-04-19 10:38:30 +0100 |
|---|---|---|
| committer | Peter Sewell | 2018-04-19 10:38:30 +0100 |
| commit | 725d5d7868b3b10882ee6eb2fa2f3e63212c1848 (patch) | |
| tree | c7629c90c60b8d6850fbca43e1be7692599a06e7 /src/reporting_basic.mli | |
| parent | 70d7d17a1ffe0b4ca58a0c65792a48e4232d432f (diff) | |
more nuanced discussion of generating HOL4 and Coq
Diffstat (limited to 'src/reporting_basic.mli')
0 files changed, 0 insertions, 0 deletions