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