Uses of Interface
org.qedeq.kernel.bo.logic.proof.common.ProofFinderFactory

Packages that use ProofFinderFactory

org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

Uses of ProofFinderFactory in org.qedeq.kernel.bo.logic

Classes in org.qedeq.kernel.bo.logic that implement ProofFinderFactory

class

ProofFinderFactoryImpl Factory implementation for ProofFinders.