Used simplifier rules/spec theorems by specification

Used from specification int-basic1

• int-basic1/l is used by mthree,
• int-basic1/ls-succ-02 is used by ls-01,
• int-basic1/lsrec is used by ex-ls-add,
• int-basic1/mone is used by mone-02, mone-01,
• int-basic1/succ-in is used by add-in,
• int-basic1/elim-pred is used by add-pred-01,
• int-basic1/forward-pos is used by mthree,
• int-basic1/irref is used by nls,
• int-basic1/lf-01 is used by ls-zero, num-between,
• int-basic1/lf-02 is used by zero, mone-01, ex-ls-add,
• int-basic1/lf-03 is used by not-zero-pos, zero-05,
• int-basic1/lf-04 is used by pls, neq, lst-02, add-less, nls, zero-02, pls-01, lst-03, ls-add-both, neq-01, ex-ls-add, pls-02, lst-01, zero-03,
• int-basic1/lf-06 is used by zero-05,
• int-basic1/lf-07 is used by lst-04, neq, lst-02, add-less, nls, lst-05, zero-01, pls-01, lst-03, ls-add-both, neq-01, ex-ls-add, pls-02,
• int-basic1/lf-08 is used by zero-03,
• int-basic1/ls-01 is used by not-zero-pos, zero, lst-04, pls, plst-01, nls, zero-01, plst, zero-02, mthree, lst-01,
• int-basic1/ls-pred is used by pls, ex-ls-add,
• int-basic1/ls-pred-01 is used by ls, ls-01,
• int-basic1/ls-pred-04 is used by pls, ex-ls-add,
• int-basic1/ls-succ-02 is used by ls,
• int-basic1/lst is used by ls-zero,
• int-basic1/lst-01 is used by zero-06, plst-01, nls, plst, mthree,
• int-basic1/pred is used by add-succ-02, add-pred-01, ex-ls-add, pred, ex-oddeven,
• int-basic1/pred-in is used by add-a, add-in, add-zero-rev, add-c, eq,
• int-basic1/predsucc is used by add-succ-02,
• int-basic1/succ-in is used by add-a, succ-01, add-succ-02, add-pred-01, add-zero-rev, add-c, eq,
• int-basic1/trans is used by ls-zero, num-between,