Packages

p

info.kwarc.mmt.lf

subtypes

package subtypes

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class ProveSubtypingRule extends SubtypingRule

Value Members

  1. object PredicateSubtypes
  2. object Subtyping

Ungrouped