diff options
| author | Kai Stevenson <kai@kaistevenson.com> | 2023-06-13 01:59:43 -0700 |
|---|---|---|
| committer | Kai Stevenson <kai@kaistevenson.com> | 2023-06-13 01:59:43 -0700 |
| commit | 2f7ac38cca2ebab41b8adb76b69e0949eeae488d (patch) | |
| tree | 6395841e2dbc557f619635f9b04fdd6e26a9985c /proposition.h | |
| parent | 8f4eb9fc953512365f9258ffd5d11ed8950f77a9 (diff) | |
fixed bugs, just_is_sound works for conjunct intro
Diffstat (limited to 'proposition.h')
0 files changed, 0 insertions, 0 deletions