Uses of Package
mepk.kernel

Packages that use mepk.kernel

Package	Description
mepk.builtin	This package implements extensions on top of the mepk.kernel.
mepk.builtin.internal	This package contains internal implementations for the concepts in the mepk.builtin package.
mepk.kernel	This package implements the trusted kernel of MEPK.
mepk.kernel.internal	This package contains internal implementations for the concepts in the mepk.kernel package.
mepk.kernel.util	This package contains utilities which are necessary for the kernel, but which are also useful outside of it.

Classes in mepk.kernel used by mepk.builtin

Class	Description
Abbreviation	An abbreviation.
Expression	This class represents an expression, i.e., either a variable, or a constant applied to a list of subexpressions.
Justification	A justification gives a ProofStep that constructs a statement, and a Proof that constructs all prerequisites of the proof step.
MEPKException	The common base class for all MEPK-related exceptions.
Proof	A proof is a recipe for constructing one set of statements from another using only ProofSteps.
Statement	This class represents an statement.

Classes in mepk.kernel used by mepk.builtin.internal

Class	Description
Abbreviation	An abbreviation.
Justification	A justification gives a ProofStep that constructs a statement, and a Proof that constructs all prerequisites of the proof step.
Proof	A proof is a recipe for constructing one set of statements from another using only ProofSteps.
Statement	This class represents an statement.

Classes in mepk.kernel used by mepk.kernel

Class	Description
Abbreviation	An abbreviation.
App	A constant-application expression.
DVRSet	A set of 'distinct variable restrictions', each of which is an unordered pair of different variable names.
Expression	This class represents an expression, i.e., either a variable, or a constant applied to a list of subexpressions.
Expression.Internal	An internal version of an Expression.
Expression.Internal.Wrapper	An object that can wrap an Expression.Internal up as an Expression.
Justification	A justification gives a ProofStep that constructs a statement, and a Proof that constructs all prerequisites of the proof step.
MEPKException	The common base class for all MEPK-related exceptions.
MEPKVerificationException	This exception indicates that a Proof did not Proof.verify() correctly.
Proof	A proof is a recipe for constructing one set of statements from another using only ProofSteps.
ProofStep	A proof step is the smallest step in a proof: it shows how to create a new statement from existing ones.
Statement	This class represents an statement.
Var	A variable expression.

Classes in mepk.kernel used by mepk.kernel.internal

Class	Description
DVRSet	A set of 'distinct variable restrictions', each of which is an unordered pair of different variable names.
Expression	This class represents an expression, i.e., either a variable, or a constant applied to a list of subexpressions.
ProofStep.Internal	An internal version of a ProofStep.
Statement	This class represents an statement.

Classes in mepk.kernel used by mepk.kernel.util

Class	Description
Abbreviation	An abbreviation.
Justification	A justification gives a ProofStep that constructs a statement, and a Proof that constructs all prerequisites of the proof step.
Proof	A proof is a recipe for constructing one set of statements from another using only ProofSteps.
Statement	This class represents an statement.