[rules].
'THE BUILT-IN RULES LIBRARY'.
''.
'The following rule families are built-in at present:'.
''.
'     abs              append          arith            array'.
'     assoc            bitwise         commut           distrib'.
'     enum             enum_cases      enumeration      eq'.
'     equiv            equivalence     exp              first'.
'     implies          inequals        inference        intdiv'.
'     last             logic           logical          logical_and'.
'     logical_not      logical_or      minus            mk__array'.
'     mk__record       modular         negation         nonfirst'.
'     nonlast          odd             quant            record'.
'     record_equality  seq             seqlen           sets'.
'     simplify         sqr             standardisation  strengthen'.
'     transitivity     unification     zero'.
''.
'For more help on a particular rule family, type "help rules=RULENAME."'.
