UNIFOP : unification command

Top Levels

• leave

Unification

• 0
• apply-subst
• eproof-utree
• go
• goto
• match
• match-pair
• name-dpair
• nth-son
• p
• pall
• pp
• pp*
• simplify
• stats
• subst-stack
• utree
• utree*
• ^
• ^^

Dpairs

• add-dpair
• add-dpairs-to-node
• add-dpairs-to-utree
• find-nesting
• prune
• rm-dpair
• show-dpairset
• unif-problem

TPS documentation homepage

TPS homepage