Index of /~cs2411/examples/First-order/Tests 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        29-Apr-2004 09:20      -  
[TXT] hilbert_proof_tests.pl  22-Apr-2004 09:56     2k  
[TXT] skolemize_tests.pl      29-Apr-2004 09:19     1k  
[TXT] tableau_tests.pl        08-Apr-2004 10:52     1k  
[TXT] to_clauses_tests.pl     29-Apr-2004 09:19     1k  
[TXT] to_prenex_form_tests.pl 29-Apr-2004 09:20     1k
Apache/1.3.29 Server at www.cse.unsw.edu.au Port 80