diff options
| author | Kai Stevenson <kai@kaistevenson.com> | 2023-06-17 23:13:23 -0700 |
|---|---|---|
| committer | Kai Stevenson <kai@kaistevenson.com> | 2023-06-17 23:13:23 -0700 |
| commit | 484898d4efdab6d8cff3a887601d5a612034ce0f (patch) | |
| tree | 6a87555ec863ee7e056972c7cd4eb9f502faf930 /testfile2 | |
| parent | a9a6750e2b97708c6d324d9c3cf2f5422cfe853e (diff) | |
separated switch case into functions, added negation intro rule
Diffstat (limited to 'testfile2')
0 files changed, 0 insertions, 0 deletions