Index of /~cs2411/examples/Propositional/Tests 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        25-Mar-2004 09:38      -  
[TXT] hilbert_proof_tests.pl  18-Mar-2004 10:39     1k  
[TXT] resolution_tests.pl     25-Mar-2004 09:37     1k  
[TXT] tableau_tests.pl        10-Mar-2004 16:32     1k  
[TXT] to_clauses_tests.pl     25-Mar-2004 09:36     1k  
[TXT] to_cnf_tests.pl         25-Mar-2004 09:36     1k  
[TXT] truth_table_tests.pl    04-Mar-2004 11:11     1k
Apache/1.3.29 Server at www.cse.unsw.edu.au Port 80