Used simplifier rules/spec theorems by specification

Used from specification int-basic1

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