Index of /course_archive/2021-22/W/4315/labtest3/B/code/logic

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 And.java                2022-03-25 18:11  2.3K  
 AtomicProposition.java  2022-03-25 18:11  2.0K  
 ExistsNext.java         2022-03-25 18:11  2.1K  
 ForAllNext.java         2022-03-25 18:11  2.1K  
 Formula.java            2022-03-25 18:11  3.4K  
 Not.java                2022-03-25 18:11  2.0K  
 True.java               2022-03-25 18:11  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