From caa9d17ea794a0b4823170551545498d458e1fc2 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 13 Jun 2023 14:21:07 -0700
Subject: implemented scoping for some justifications, added helper functions

---
 testfile2 | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'testfile2')

diff --git a/testfile2 b/testfile2
index 7c3764f..dbdaa34 100644
--- a/testfile2
+++ b/testfile2
@@ -1,3 +1,5 @@
-P | pr
-Q | pr
-P->Q | ->I 2, 1
+A | pr
+C | pr
+	B | as
+	C ^ B | ^i 2, 3
+B->C^B | ->i 3, 4
-- 
cgit v1.3.1