FLAVOR : flavor

Weak Labels

• weak

Flavors of Labels

• meta

Expansion Trees

• econjunction
• edisjunction
• empty-dup-info
• etree
• exp-var
• expansion
• false
• implication
• leaf
• negation
• rewrite
• selection
• skolem
• skolem-term
• true

Vpforms

• conjunction
• disjunction
• existential
• jform
• literal
• universal

wff Primitives

• meta-bd
• meta-var

TPS documentation homepage

TPS homepage