diff options
| author | Thomas Bauereiss | 2018-11-29 15:13:50 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-11-29 15:13:50 +0000 |
| commit | c0f8dd2e676c4ce987c73392506dff8872a364ef (patch) | |
| tree | c74309095f5a31fc60a3c661d57a9e81ae32f530 /src/reporting_basic.mli | |
| parent | d733aa5c7409c645807589d268c0b80055bf671d (diff) | |
Add some helper lemmas to Isabelle lib
Diffstat (limited to 'src/reporting_basic.mli')
0 files changed, 0 insertions, 0 deletions