Uses of Package
jml2b.pog.substitution

Packages that use jml2b.pog.substitution

jml2b.pog.lemma
jml2b.pog.substitution	Provides the classes necessary to create and manage substitutions.

Classes in jml2b.pog.substitution used by jml2b.pog.lemma

Substitution
This interface describes a substitution.

Classes in jml2b.pog.substitution used by jml2b.pog.substitution

SubForm
This class corresponds to the substitution of a formula by another.

SubInstances
This class corresponds to the substitution of instances with: instances \/ f instances \/ {f}

Substitution
This interface describes a substitution.

SubTypeof
This abstract class describes substitutions applied on typeof