![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Conjunction.java | 09-Apr-2005 16:34 | 493 | |
| Disjunction.java | 09-Apr-2005 16:34 | 493 | |
| Environment.java | 11-Apr-2005 02:00 | 955 | |
| Formula.java | 09-Apr-2005 16:10 | 90 | |
| LogicalConstant.java | 09-Apr-2005 16:34 | 295 | |
| LogicalVariable.java | 09-Apr-2005 16:34 | 317 | |
| Named.java | 09-Apr-2005 16:37 | 927 | |
| Negation.java | 09-Apr-2005 16:34 | 296 | |
| package.html | 09-Apr-2005 17:10 | 110 | |