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


[DIR] Parent Directory        25-Mar-2004 09:38      -  
[TXT] external_operators.pl   04-Mar-2004 11:11     1k  
[TXT] input_output.pl         10-Mar-2004 16:35     1k  
[TXT] internal_operators.pl   04-Mar-2004 11:11     1k  
[TXT] translations.pl         04-Mar-2004 14:16     4k  
[TXT] truth_tables.pl         04-Mar-2004 11:11     1k
Apache/1.3.29 Server at www.cse.unsw.edu.au Port 80