MODULELIST : ARGTYPE

MODULELIST is an argument type.
A list of modules.
Currently any of:
Modules: AUTO-BASIC AUTO-DOC BARE BOOTSTRAP CONCEPT-BARE CONCEPT-WFF ENVIRONMENT ETPS-EVENTS ETR-NAT EVENT-SIGNAL EVENTS EXPANSION-TREE FILE-OPS GRADER GRADER-TOP JFORMS LAMBDA-CALC LIBRARY LOGIC-SCRIBE MAINTAIN MATH-LOGIC-1 MATH-LOGIC-1-RULES MATH-LOGIC-1-WFFS MATH-LOGIC-2 MATH-LOGIC-2-EXERCISES MATH-LOGIC-2-RULES MATH-LOGIC-2-WFFS MATING MATING-TRANSFORM METAWFFS ML-ETR-TACTICS ML-TACTICS ML2-REWRITE MODE-ML MS88 MS89 MS90-3 MS90-9 MS91 MS98 MST OPS-OTLRULES OTLADVICE OTLCLEANUP OTLGO OTLHELP OTLNL OTLRULEP OTLRULES OTLSCHEMA2 OTLSCRIBE OTLSUGGEST PRIMITIVE-SUBST READ-RULES REPLACE REPORT REVIEW-FLAGS RRULES RULES SAIL-WFF SAVE-TPS-WORK SAVE-WFFS SAVING-MODES SCRIBE-WFF SKOLEMIZING TACTICS TACTICS-ND TEX-WFF THEOREMS TPS-HELP TPS-MODULES TPS2-RULEP TPSDEF UNIFICATION UNIFICATION-INTERFACE VPFORMS WEAK-LABEL WFF-EDITOR WFF-OPS-ABB WFF-OPS1 WFF-OPS2 WFF-PARSE WFF-PRINT WFFMATCH WFFS XWINDOWS

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage