![[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 16:34 | 493 | |
| Disjunction.java | 2005-04-09 16:34 | 493 | |
| Environment.java | 2005-04-11 02:00 | 955 | |
| Formula.java | 2005-04-09 16:10 | 90 | |
| LogicalConstant.java | 2005-04-09 16:34 | 295 | |
| LogicalVariable.java | 2005-04-09 16:34 | 317 | |
| Named.java | 2005-04-09 16:37 | 927 | |
| Negation.java | 2005-04-09 16:34 | 296 | |
| package.html | 2005-04-09 17:10 | 110 | |