Uses of Class
wytp.proof.util.DeltaProof

Packages that use DeltaProof

Package	Description
wytp.proof.util

Uses of DeltaProof in wytp.proof.util

Constructors in wytp.proof.util with parameters of type DeltaProof

Constructor and Description
State(DeltaProof proof, Formula axiom)