Hierarchy For Package mepk.kernel.internal

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • mepk.kernel.internal.Compose (implements mepk.kernel.ProofStep.Internal)
  • mepk.kernel.internal.Substitute (implements mepk.kernel.ProofStep.Internal)
  • mepk.kernel.internal.Weaken (implements mepk.kernel.ProofStep.Internal)