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


[DIR] Parent Directory        25-Mar-2004 09:38      -  
[TXT] to_clauses.pl           25-Mar-2004 09:39     1k  
[TXT] to_cnf.pl               25-Mar-2004 09:39     1k
Apache/1.3.29 Server at www.cse.unsw.edu.au Port 80