jtp.proof.transform

Interfaces  ProofTransformer

Classes  IdenticalSubgoalTransformer IdenticalSubproofTrimmer ProofTransformingEngine ProofTransformingReasonerProxy SecondaryStorageLookupTransformer StubTransformer UnrolledRulesTransformer