ABBREV : logical abbreviation

Basic Abbreviations

• <=
• cond
• eqp
• equiv
• finite
• mu
• nat
• nc
• one
• recursion
• sigma1
• subset
• succ
• unitset
• zero

Set Abbreviations

• %
• complement
• equivs
• intersect
• powerset
• setequiv
• setintersect
• setunion
• union

ETPS documentation homepage

TPS homepage