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 num-between, ls-zero,
• int-basic1/lf-02 is used by mone-01, zero, ex-ls-add,
• int-basic1/lf-03 is used by not-zero-pos, zero-05,
• int-basic1/lf-04 is used by pls, nls, neq-01, pls-02, lst-02, add-less, lst-03, lst-01, pls-01, zero-02, zero-03, ls-add-both, neq, ex-ls-add,
• int-basic1/lf-06 is used by zero-05,
• int-basic1/lf-07 is used by nls, neq-01, pls-02, lst-02, add-less, lst-03, pls-01, lst-04, lst-05, zero-01, ls-add-both, neq, ex-ls-add,
• int-basic1/lf-08 is used by zero-03,
• int-basic1/ls-01 is used by plst-01, pls, nls, plst, lst-01, lst-04, zero-01, zero-02, not-zero-pos, mthree, zero,
• int-basic1/ls-pred is used by pls, ex-ls-add,
• int-basic1/ls-pred-01 is used by ls-01, ls,
• 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 plst-01, nls, plst, mthree, zero-06,
• int-basic1/pred is used by ex-oddeven, add-pred-01, add-succ-02, pred, ex-ls-add,
• int-basic1/pred-in is used by add-in, add-c, add-a, eq, add-zero-rev,
• int-basic1/predsucc is used by add-succ-02,
• int-basic1/succ-in is used by succ-01, add-c, add-a, eq, add-pred-01, add-succ-02, add-zero-rev,
• int-basic1/trans is used by num-between, ls-zero,