Used simplifier rules/spec theorems by specification

Used from specification nat-basic

• nat-basic/addex is used by le-add-01, le-add-02, le-addex, eq-add2n-1-eq-le,
• nat-basic/lf-07 is used by fle,
• nat-basic/pls is used by pls,
• nat-basic/succ is used by num-01,
• nat-basic/a is used by add-num-02, zero, ls, ls-add-not-03, le-add-01, sub-ls, ls-01, add-02, le-num-02, succ-01, pls, add, eq-01, lep, pred-02, l-num-03, le-one, ls-07, ls-04, ls-pred, one-01, les, succ-04, l-num-06, prop-07, eq-02, shift-01, eq-pred, sub-same, prop-04, less-02, lepr, add-ls-right2-le, le, le-num-06, zero-01, le-add, le-add-02, succ, add-num-03, add-03, ls-02, le-num-03, succ-02, sub-le-rew, sub-add-01, ls-add-not-01, pred-03, add-le-right2-ls, prop-05, less-03, add-sub-less, ls-add-not, leprf, prop, num-01, l-num-01, succ-05, prop-02, elim-sub, sub-succ, add-num-01, le-addex, less, ls-add-not-02, le-sum, eq-03, le-num-01, lep-01, cancel-01, eqle-one, lels-04, ls-06, eq-pred-01, pred-01, num-02, elim-pred-c, add-num-04, sub-add, neq-01, neq-add1, ls-03, rec, sub-ls-rew, prop-06, lep-02, eq, add-01, pred, l-num-02, less-01, eq-add2n-1-eq-le,
• nat-basic/add-base is used by l-num-03, shift-01, le-num-06, zero-01, le-add, ls-add-not-01, less-03, elim-sub, less, le-sum, lep-01, neq-01, lep-02,
• nat-basic/c is used by add-num-02, zero, ls, ls-add-not-03, le-add-01, sub-ls, ls-01, add-02, le-num-02, succ-01, pls, add, eq-01, lep, pred-02, l-num-03, le-one, ls-07, ls-04, ls-pred, one-01, les, shift, succ-04, l-num-06, prop-07, eq-02, shift-01, eq-pred, sub-same, prop-04, less-02, lepr, add-ls-right2-le, le, le-num-06, zero-01, le-add, le-add-02, succ, add-num-03, add-03, ls-02, le-num-03, succ-02, sub-le-rew, sub-add-01, ls-add-not-01, pred-03, add-le-right2-ls, prop-05, less-03, add-sub-less, ls-add-not, leprf, prop, num-01, l-num-01, succ-05, prop-02, elim-sub, sub-succ, add-num-01, le-addex, less, ls-add-not-02, le-sum, eq-03, le-num-01, lep-01, cancel-01, eqle-one, lels-04, ls-06, eq-pred-01, pred-01, num-02, elim-pred-c, add-num-04, sub-add, neq-01, neq-add1, ls-03, rec, sub-ls-rew, prop-06, lep-02, eq, add-01, pred, l-num-02, less-01, eq-add2n-1-eq-le,
• nat-basic/elim-pred-c is used by pred-03,
• nat-basic/eq-01 is used by add, eq-01, eq-02, sub-same, le-add-02, add-03, prop-05, add-sub-less, prop-02, elim-sub, sub-succ, le-addex, cancel-01, num-02, sub-add, neq-01, rec, eq-add2n-1-eq-le,
• nat-basic/eq-02 is used by zero, less-03, le-addex, less, neq-add1, eq-add2n-1-eq-le,
• nat-basic/even-02 is used by add-02,
• nat-basic/f is used by ls-add-not-03, le-add-01, sub-ls, fle, pls, not-zero, l-num-03, le-one, trans-le-le, ls-pred, l-num-06, trans-ls-le, fle-01, le-ls-simp, add-ls-right2-le, le-num-06, zero-01, le-add-02, let, le-num-03, ls-add-not-01, add-le-right2-ls, less-03, add-sub-less, ls-add-not, prop, succ-05, elim-sub, sub-succ, le-addex, less, ls-add-not-02, le-sum, le-num-01, cancel-01, lels-04, neq-01, sub-ls-rew, trans-le-ls, add-01, pred, l-num-02, eq-add2n-1-eq-le,
• nat-basic/l is used by ls, sub-ls, ls-01, pls, ls-07, ls-04, less-02, less-03, ls-add-not, l-num-01, succ-05, less, lels-04, neq-01, sub-ls-rew, lep-02, l-num-02,
• nat-basic/l-01 is used by less,
• nat-basic/l-02 is used by sub-ls, pls, eq-01, lep, ls-pred, l-num-06, sub-same, prop-04, add-num-03, le-num-03, add-sub-less, ls-add-not, succ-05, sub-succ, le-sum, lels-04, add-01,
• nat-basic/l-04 is used by ls-add-not-03, ls-add-not-01, ls-add-not, ls-add-not-02,
• nat-basic/less-zero is used by l-num-03, le-num-06, lez, prop, elim-sub, lez-01, pred,
• nat-basic/lf is used by sub-ls, le-one, ls-pred, l-num-06, le-num-03, succ-05, less,
• nat-basic/lf-01 is used by fle, neq-01,
• nat-basic/ls-02 is used by add-num-02, fle, le-num-05, le-num-02, le-rec, lels-03, l-num-04, l-num-01, add-num-01, less, le-num-01, add-num-04, sub-ls-rew, le-num-04, l-num-05, l-num-02,
• nat-basic/ls-03 is used by anti,
• nat-basic/nls-fst is used by l-num-03, le-num-06,
• nat-basic/one is used by succ-05, less,
• nat-basic/one-01 is used by one-01, lepr, one-02, leprf,
• nat-basic/one-06 is used by one-01,
• nat-basic/oz is used by pred-02, one-01, pred-03, elim-sub, neq-add1, pred, eq-add2n-1-eq-le,
• nat-basic/pred is used by pred-03, num-01,
• nat-basic/refl-nat is used by zero, sub-ls, eq-pred, le-ls-simp, zero-01, eq-03, ls-06, eq-pred-01, ler,
• nat-basic/s-04 is used by succ-01, l-num-03, le-num-06, succ-02, elim-sub, pred,
• nat-basic/succ is used by sub-ls, l-num-03, ls-pred, one-01, l-num-06, shift-01, rax, le-num-06, le-num-03, pred-03, num-01, succ-05, elim-sub, less, le-sum, lep-01, num-02, neq-01, lep-02,
• nat-basic/trans-nat is used by sub-ls, le-one, ls-pred, l-num-06, le-num-03, succ-05,
• nat-basic/z-01 is used by le-add-01, one-01, le-add-02, le-addex,
• nat-basic/zero is used by ls-05,