![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Conjunction.java | 09-Apr-2005 17:00 | 570 | |
| Disjunction.java | 09-Apr-2005 23:16 | 569 | |
| Environment.java | 25-Apr-2009 18:28 | 965 | |
| Factory.java | 29-Apr-2009 17:27 | 6.8K | |
| Formula.java | 11-Apr-2005 02:55 | 496 | |
| LogicalConstant.java | 11-Apr-2005 00:43 | 1.0K | |
| LogicalVariable.java | 09-Apr-2005 17:03 | 390 | |
| Named.java | 09-Apr-2005 17:03 | 935 | |
| Negation.java | 09-Apr-2005 17:03 | 369 | |
| Visitor.java | 11-Apr-2005 02:02 | 852 | |
| VisitorEvaluate.java | 29-Apr-2009 17:16 | 3.1K | |
| VisitorToString.java | 11-Apr-2005 02:05 | 794 | |
| package.html | 09-Apr-2005 17:11 | 126 | |