revisionlogic

Classes  Atom BeliefChangeSzenario BinaryCompound COBAApp Contradiction EquivalenceSet HSet ISent MultipleCompound Negation SentenceParser Tautology

Exceptions  InconsistencyException SyntaxErrException