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 /testfile2 | |
| parent | 8f4eb9fc953512365f9258ffd5d11ed8950f77a9 (diff) | |
fixed bugs, just_is_sound works for conjunct intro
Diffstat (limited to 'testfile2')
| -rw-r--r-- | testfile2 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testfile2 b/testfile2 new file mode 100644 index 0000000..c66aa88 --- /dev/null +++ b/testfile2 @@ -0,0 +1,3 @@ +P^Q | pr +L^V | pr +(P^Q)^(L^V) | ^i 1, 2 |