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


[DIR] Parent Directory        25-Mar-2004 09:38      -  
[TXT] hilbert_proof.pl        18-Mar-2004 10:38     3k  
[TXT] resolution.pl           25-Mar-2004 09:33     2k  
[TXT] tableau.pl              25-Mar-2004 09:43     5k  
[TXT] truth_table.pl          04-Mar-2004 11:11     4k
Apache/1.3.29 Server at www.cse.unsw.edu.au Port 80