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


[DIR] Parent Directory        29-Apr-2004 09:20      -  
[TXT] external_operators.pl   29-Apr-2004 09:18     1k  
[TXT] input_output.pl         29-Apr-2004 09:18     1k  
[TXT] internal_operators.pl   29-Apr-2004 09:18     1k  
[TXT] translations.pl         29-Apr-2004 09:18     5k  
[TXT] truth_tables.pl         29-Apr-2004 09:18     1k  
[TXT] utilities.pl            29-Apr-2004 09:18     9k
Apache/1.3.29 Server at www.cse.unsw.edu.au Port 80