diff options
| author | Camil Staps | 2015-10-24 12:07:39 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-10-24 12:07:39 +0200 |
| commit | 6530eaf3b0311d83845c7aceac3514a60436235b (patch) | |
| tree | b8eaebcbdd949a116bfda9eb1b376cebc361c3d3 /Logic.dcl | |
| parent | Bugfixes in show functions (parentheses) (diff) | |
Fixing last commit; parentheses chained implications
Diffstat (limited to 'Logic.dcl')
0 files changed, 0 insertions, 0 deletions