Uses of Interface
mepk.kernel.ProofStep.Internal

Packages that use ProofStep.Internal

Package	Description
mepk.kernel.internal	This package contains internal implementations for the concepts in the mepk.kernel package.

Uses of ProofStep.Internal in mepk.kernel.internal

Classes in mepk.kernel.internal that implement ProofStep.Internal

Modifier and Type	Class	Description
class	Compose	A compose proof takes statements x, y, ..., each with hypotheses Hx1, Hx2, ... and conclusion Cx, ..., and a statement with exactly the same hypotheses Cx, Cy, ... and conclusion C: it 'applies' the latter statement, by constructing the statement with hypotheses Hx1, Hx2, ..., Hy1, Hy2, ..., and conclusion C.
class	Substitute	A substitution proof step takes a statement, and constructs a structurally similar statement by substituting one variable for a (typed) expression.
class	Weaken	A weakening proof step constructs a new statement by adding DVRs and/or hypotheses to an existing statement.