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


[DIR] Parent Directory        08-Apr-2004 10:46      -  
[DIR] Basis/                  10-Mar-2004 16:35      -  
[DIR] Evaluations/            25-Mar-2004 09:33      -  
[DIR] Tests/                  25-Mar-2004 09:37      -  
[DIR] Transformations/        25-Mar-2004 09:39      -
Apache/1.3.29 Server at www.cse.unsw.edu.au Port 80