Package net.sf.tweety.logics.fol.examples

Class Summary

Class	Description
FolExample	Some examples for using FolParser and provers.
TPTPParserExample	Examples for using TPTPParser.