diff options
| author | Thomas Bauereiss | 2018-05-18 12:08:05 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-18 20:11:24 +0100 |
| commit | 1644cf140a58b53ebfaebd90559d5a449df9e270 (patch) | |
| tree | 722b40b2fd2f4d657f50adc754e9a2466a1a2a13 /lib/isabelle/document | |
| parent | 6889366c61144d6dd0f9c37a0eb7a6c9f8ab2258 (diff) | |
Add lemmas about monadic Boolean connectives
Diffstat (limited to 'lib/isabelle/document')
0 files changed, 0 insertions, 0 deletions