TACTIC : tactic

Compound

Propositional

Quantifiers

Equality

Definitions

Lambda

Auxiliary



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage