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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 And.java                2022-03-25 18:09  2.3K  
 AtomicProposition.java  2022-03-25 18:09  2.0K  
 ExistsNext.java         2022-03-25 18:09  2.1K  
 ForAllNext.java         2022-03-25 18:09  2.1K  
 Formula.java            2022-03-25 18:09  3.4K  
 Not.java                2022-03-25 18:09  2.0K  
 True.java               2022-03-25 18:09  1.5K

Apache/2.4.68 (Unix) PHP/8.5.9 OpenSSL/3.5.5 mod_wsgi/5.0.2 Python/3.14 Server at www.eecs.yorku.ca Port 443