INFO : flag setting or other piece of information

Top Levels

• command-line-switches

Printing

• prfw-pall
• prfw-^p
• prfw-^pn

Proof Outline

• compress
• fix
• min
• vary

wff Primitives

• ren-var-x1
• ren-var-x11
• ren-var-xa

Basic Abbreviations

• all
• leibniz
• only-ext

Lambda-Calculus

• beta-eta-only
• beta-eta-separate
• beta-eta-together

Maintenance

• init-define-my-default-mode
• init-dialogue-default-fn

ETPS documentation homepage

TPS homepage