Index of /course_archive/2021-22/W/4315/solutions/5/logic

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 And.java                2022-02-13 10:58  1.3K  
 AtomicProposition.java  2022-02-13 10:58  1.1K  
 Formula.java            2022-02-13 10:58  2.0K  
 Next.java               2022-02-13 10:58  1.1K  
 Not.java                2022-02-13 10:58  1.0K  
 True.java               2022-02-13 10:58  610   
 Until.java              2022-02-13 10:58  1.5K

Apache/2.4.63 (Unix) PHP/8.3.19 OpenSSL/1.1.1k mod_wsgi/5.0.1 Python/3.12 Server at www.eecs.yorku.ca Port 443