Used simplifier rules/spec theorems by specification

Used from specification nat-basic

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