THEOREMS : MODULE

THEOREMS is a module.

It is loaded.
Defines ways of defining theorems, exercises, etc.

NEEDED-MODULES WFF-PARSE

MACRO-FILES THEOREM-MAC

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage