![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Copy of FOL.jar | 2004-09-28 21:14 | 88K | |
![]() | Copy of task9.txt | 2004-10-02 05:22 | 6.0K | |
![]() | Copy of task10.txt | 2004-10-03 03:36 | 7.1K | |
![]() | FOL.jar | 2004-09-28 21:14 | 88K | |
![]() | FOLTesterLB.class | 2005-05-17 19:07 | 4.3K | |
![]() | FOLTesterLB.java | 2004-10-03 04:06 | 4.2K | |
![]() | Project_1_Writeup.doc | 2004-09-30 14:28 | 11K | |
![]() | cnf.out | 2004-10-03 00:53 | 8.9M | |
![]() | cnllf.out | 2004-10-02 05:57 | 103K | |
![]() | down/ | 2010-08-27 23:40 | - | |
![]() | finished/ | 2010-08-27 23:40 | - | |
![]() | makefile | 2004-09-30 22:55 | 126 | |
![]() | q.log | 2004-09-30 22:53 | 943 | |
![]() | skolem_test.txt | 2004-09-30 19:19 | 10 | |
![]() | task9fn.txt | 2004-10-03 03:41 | 6.4K | |
![]() | task9fn.txt.out | 2004-10-03 03:41 | 1.5K | |
![]() | task10.txt | 2004-10-03 04:34 | 7.3K | |
![]() | task10.txt.out | 2005-05-17 19:07 | 1.5K | |
![]() | task12.txt | 2004-10-03 04:47 | 7.4K | |
![]() | tempfile.out | 2005-05-17 19:07 | 1.8K | |