Name                    Last modified      Size  Description
 Parent Directory                             -   
 Formula.java            2005-04-09 16:10   90   
 Conjunction.java        2005-04-09 16:34  493   
 Disjunction.java        2005-04-09 16:34  493   
 LogicalConstant.java    2005-04-09 16:34  295   
 LogicalVariable.java    2005-04-09 16:34  317   
 Negation.java           2005-04-09 16:34  296   
 Named.java              2005-04-09 16:37  927   
 package.html            2005-04-09 17:10  110   
 Environment.java        2005-04-11 02:00  955