LOGIC-SCRIBE : MODULE

LOGIC-SCRIBE is a module.

It is loaded.
Defines output style SCRIBE for Math Logic Course.

NEEDED-MODULES WFF-PRINT

MACRO-FILES SCRIBE

FILES ML1-SCRIBE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage