| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| AtomicSentence.class | 2016-09-04 16:54 | 377 | ||
| ConnectedSentence.class | 2016-09-04 16:54 | 3.3K | ||
| Constant.class | 2016-09-04 16:54 | 2.0K | ||
| FOLNode.class | 2016-09-04 16:54 | 530 | ||
| Function.class | 2016-09-04 16:54 | 3.6K | ||
| NotSentence.class | 2016-09-04 16:54 | 2.8K | ||
| Predicate.class | 2016-09-04 16:54 | 3.8K | ||
| QuantifiedSentence.c..> | 2016-09-04 16:54 | 4.2K | ||
| Sentence.class | 2016-09-04 16:54 | 238 | ||
| Term.class | 2016-09-04 16:54 | 346 | ||
| TermEquality.class | 2016-09-04 16:54 | 3.3K | ||
| Variable.class | 2016-09-04 16:54 | 2.7K | ||