org.jscience.mathematics.axiomatic
Interfaces 
Node
Classes 
Analyzer
AxiomConverter
BranchNode
DistinctVariables
LeafNode
LexTable
LexWalker
Merge
Proof
ProofBuffer
ProofIterator
ProofStack
ProofSystem
ProofTree
Prover
SchemaBuilder
SchemaConverter
SchemaReader
StaticStringBuffer
Unifier
VariablePair
WFF
Exceptions 
UnsynchedException