Name                    Last modified      Size  Description
 Parent Directory                             -   
 Conjunction.java        2005-04-09 17:00  570   
 Named.java              2005-04-09 17:03  935   
 LogicalVariable.java    2005-04-09 17:03  390   
 Negation.java           2005-04-09 17:03  369   
 package.html            2005-04-09 17:11  126   
 Disjunction.java        2005-04-09 23:16  569   
 LogicalConstant.java    2005-04-11 00:43  1.0K  
 Visitor.java            2005-04-11 02:02  852   
 VisitorToString.java    2005-04-11 02:05  794   
 Formula.java            2005-04-11 02:55  496   
 Environment.java        2009-04-25 18:28  965   
 VisitorEvaluate.java    2009-04-29 17:16  3.1K  
 Factory.java            2009-04-29 17:27  6.8K