Uses of Class
jtp.proof.AxiomInference

Packages that use AxiomInference

jtp.proof

Classes supporting JTP's implementation of InferenceWeb proofs.

Uses of AxiomInference in jtp.proof

Fields in jtp.proof declared as AxiomInference

static AxiomInference

AxiomInference.instance