[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Used simplifier rules/spec theorems by specification

Used from specification list-last

list-last/blastN-all-01 is used by blastN-firstN,
list-last/blastN-rec-01 is used by blastN-firstN,
list-last/l-02 is used by firstn-last-01,
list-last/mk-plus is used by rest-mklist-03, first-mklist-03,
list-last/mk-rec is used by first-mklist, rest-mklist-04, lastn-mklist,
list-last/mk-tail is used by get-mklist-01,
list-last/prefix is used by firstn-prefix-01, firstn-allprefix,
list-last/bapp is used by lastn-app,
list-last/bin-01 is used by lastN-in-01,
list-last/butlast-def is used by lastN-rec-01, lastn-lastn-01, lastN-blastN,
list-last/butlast-last is used by lastn-app, put-firstn-restn,
list-last/butlast-len is used by blastN-firstN,
list-last/butlast-one is used by firstn-butlast,
list-last/butlast-rec is used by firstn-butlast,
list-last/butlastN-base is used by blastN-firstN, lastN-blastN,
list-last/butlastN-rec is used by blastN-firstN, lastN-blastN,
list-last/l-02 is used by at-last, restn-size-last, restn-last, get-last-04,
list-last/lapp is used by lastn-app,
list-last/last-def is used by lastN-rec-01, lastn-lastn-01,
list-last/last-elim is used by lastn-restn-01, firstn-butlast-intro, restn-size-last, get-last-04, lastn-neq-01,
list-last/last-one is used by lastn-one-01, firstn-last, get-last2, at-last, restn-size-last, firstn-last-01, restn-last, get-last-04, sublist-last, get-last-01,
list-last/last-rec is used by firstn-last, get-last2, sublist-last, get-last-01,
list-last/lb is used by lastn-app, lastN-in-01, put-firstn-restn,
list-last/lin-01 is used by lastN-in-01,
list-last/mk-empty is used by rest-mklist-04, get-mklist-01, lastn-mklist,
list-last/mk-head-01 is used by get-mklist-01,
list-last/mk-inj-01 is used by rest-mklist-03, sublist-mklist-01, rest-mklist, first-mklist-02, sublist-mklist-02, rest-mklist-02, sublist-mklist, lastn-mklist,
list-last/mk-len is used by first-mklist-04, lastn-mklist-01, lastn-mklist-02, sublist-mklist-01, first-mklist-02, lastn-mklist-03, rest-mklist-02, lastn-mklist,
list-last/mk-plus is used by rest-mklist,
list-last/mk-zero is used by first-mklist, rest-mklist-04, get-mklist, get-mklist-01, lastn-mklist,
list-last/prefix-empty is used by firstn-prefix,
list-last/prefix-nil is used by firstn-prefix, sublist-prefix,
list-last/prefix-rec-02 is used by sublist-prefix,
list-last/prefix-rec-03 is used by firstn-prefix-04, firstn-prefix,
list-last/rev-e is used by del-rev, rev-get,
list-last/rev-length is used by rev-get,
list-last/rev-r is used by del-rev, rev-get,

Used from specification nat

nat/add-01 is used by l-01, firstn-append-01, first-mklist, rest-mklist-04, lastN-rest, firstn-last-01, blastN-firstN, put-firstn-restn, firstn-butlast, lastn-mklist,
nat/anti is used by lastN-dups-01, lastN-dups, firstn-last-01, put-firstn-restn,
nat/cancel-01 is used by firstn-append-01, firstn-last-01, blastN-firstN, firstn-butlast, rev-get,
nat/elim-pred-c is used by restn-first-get, get-add-num, put-app-left, rest-rec, firstn-append-01, get-firstn, lastn-app, rmpos-size, first-mklist, rmpos-get, put-in-02, sublist-last-01, restn-empty, l, get-butlast, firstn-firstn, pos-get, firstn-prefix, sublist-part, firstn-last, first-num, get-numrec, sublist-append-04, sublist-num-01, lastn-rec, put-del1-in, at-last, l-02, get-append-less, sublist-rec, lastn-restn, lastn-lastn-01, dups-def, firstn-twice, firstn-last-rec, sublist-firsteq, restn-nonempty-2, restn-last, rmpos-in, get-last-04, map-get, lastN-blastN, restN-dups, sublist-rec-01, sublist-prefix, get-nodups, firstN-rec-01, put-rec-02, size-rmdup-del, put-in-01, put-firstn-restn, restn-nonempty, get-last-nonempty, get-mklist-01, num-lastN, firstn-butlast, firstN-lastN, put-rec, firstN-num-rec, get-in, rev-get, sublist-move, size-del-nodups, put-in, firstN-in, put-sw-in,
nat/elim-sub is used by firstn-append-01, lastn-app, lastn-restn-01, restn-firstn-better, firstn-last-eq, sublist-first-skip, sublist-append-01, firstn-app-01, restn-firstn, append-mod, lastN-rest, rest-mklist, firstn-last-01, firstn-app-02, rest-app, rest-len, sublist-append-02, put-app-right, get-append-grt, lastN-ex, firstn-butlast, firstN-lastN, rest-sub, sublist-mklist, rev-get,
nat/eq is used by get-last-04, put-firstn-restn, rest-sub,
nat/eq-01 is used by restn-app, firstn-append-01, lastn-mklist-01, firstn-last-eq, sublist-restn-02, lastN-rest, firstn-length-02, elim-lastn-butlastn, sublist-is-restn, lastN-ex, lastN-append, firstN-lastN, get-append-grt-02, rev-get,
nat/eq-02 is used by rmpos-size, l, size-del-nodups,
nat/eqle-one is used by sublist-last-01, get-last-04, put-firstn-restn, lastn-mklist,
nat/fle is used by sublist-lenrec, get-firstn, rmpos-get, firstn-firstn, lastN-rest, lastN-append-01,
nat/fle-01 is used by first-mklist-01, rmpos-get, first-append-01, sublist-at, sublist-first-skip, rest-mklist-01, append-mod, lastn-restn, rest-append, sublist-mklist,
nat/ge is used by firstn-length,
nat/gr-def is used by firstn-length-01,
nat/l-num-06 is used by len-01, get-mklist-01,
nat/le-add is used by rev-get,
nat/le-def is used by firstn-prefix-04, restn-app, firstn-append-01, lastn-app, rmpos-size, lastn-mklist-01, lastn-restn-01, first-mklist-01, firstn-last-eq, l, first-append-01, sublist-at, sublist-first-skip, firstN-in-02, sublist-restn-02, rest-mklist-01, get-mklist, lastN-rest, sublist-mklist-01, sublist-length-02, del-rmdup-length-nle, firstn-prefix-02, firstn-last-01, first-mklist-02, len, restN-len, lastN-all, elim-lastn-butlastn, firstn-prefix-03, first-mklist-03, sublist-is-restn, rest-mklist-02, lastN-in-01, sublist-length-03, put-firstn-restn, put-last, lastN-ex, lastN-append, rest-append, firstn-butlast, firstN-lastN, delete-one-le, sublist-mklist, size-del-nodups,
nat/le-ls-simp is used by sublist-lenrec, get-firstn, rmpos-size, rmpos-get, first-append-01, sublist-first-skip, firstn-firstn, firstN-in-02, sublist-recstart, sublist-mklist-01, sublist-one, firstn-last-rec, sublist-lenrec-01, sublist-rec-01, restn-at,
nat/le-num-02 is used by restn-firstn,
nat/le-num-06 is used by restn-firstn,
nat/lels is used by firstn-length-01, sublist-lenrec, inl, restn-first-get, put-app-left, lastN-dups-01, get-firstn, rmtoobigpos, rmpos-size, restn-firstn-better, firstN-dups-04, rmpos-get, put-in-02, restn-empty, sublist-at, get-butlast, firstn-firstn, pos-get, lastN-dups, firstn-last, lastN-rest, sublist-recstart, restN-append, firstn-butlast-intro, put-del1-in, rest-in, sublist-one, firstn-last-01, get-append-less, firstn-restn-eq, lastn-restn, lastn-lastn-01, dups-def, firstn-last-rec, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, restn-last, blastN-firstN, rmpos-in, get-last-04, map-get, sublist-rec-01, lastn-neq-01, get-append-grt, sublist-prefix, get-nodups, put-in-01, put-firstn-restn, restn-nonempty, rest-sub, restn-at, lastN-append-01, get-in, rev-get, firstn-restn-in, lastn-mklist, put-in, put-sw-in, nodups-rmposnodups,
nat/lels-02 is used by restn-empty, blastN-firstN,
nat/lels-03 is used by firstN-dups-01, firstN-lastN-in-01, rmpos-get, restn-firstn, firstN-dups-05, firstn-at-in-dups, firstN-dups, firstn-last-01, firstN-in-03, lastN-in, firstN-in-01,
nat/lep is used by lastn-app, lastn-restn-01, restn-firstn-better, firstn-last-eq, sublist-first-skip, firstN-in-02, sublist-append-01, restn-firstn, append-mod, lastN-rest, rest-in, firstn-app-02, restn-less, rest-app, rest-len, firstN-in-03, elim-lastn-butlastn, put-app-right, get-append-grt, put-firstn-restn, lastN-ex, firstN-lastN, rest-sub, sublist-mklist, rev-get, firstn-restn-in, firstn-length, firstN-in,
nat/lep-02 is used by get-firstn, first-mklist, sublist-at, sublist-first-skip, firstn-firstn, firstn-prefix, sublist-append-04, lastn-restn, firstn-twice, blastN-firstN, lastN-blastN, restN-dups, sublist-mklist, sublist-move, firstn-length, firstN-in,
nat/ler is used by blastN-firstN,
nat/les is used by get-last-04, put-firstn-restn, lastn-mklist,
nat/let is used by get-firstn, restn-firstn-better, sublist-at, sublist-first-skip, firstn-firstn, firstn-app-02, sublist-move,
nat/lez is used by get-firstn, firstN-dups-04, rmpos-get, put-in-02, firstn-firstn, firstn-prefix, rest-in, dups-def, rmpos-in, sublist-prefix, get-nodups, lastN-in-01, sublist-move, firstN-in, put-sw-in,
nat/lez-01 is used by get-firstn, rmpos-size, first-mklist, restn-empty, get-butlast, firstn-prefix, sublist-append-04, lastn-restn, firstn-twice, restn-last, blastN-firstN, rmpos-in, map-get, lastN-blastN, restN-dups, get-nodups, restn-nonempty, get-in, sublist-move, lastn-mklist, firstN-in,
nat/ls-01 is used by lastn-app, get-mklist, lastN-ex,
nat/ls-02 is used by rmpos-size, first-append-01, sublist-at, sublist-first-skip, del-rmdup-length-nle, lastN-in-01, put-firstn-restn,
nat/ls-03 is used by firstN-in-02, firstN-in-03, put-firstn-restn,
nat/ls-le-simp is used by sublist-lenrec, sublist-at, sublist-recstart, sublist-lenrec-01,
nat/one-02 is used by get-firstn,
nat/pred-03 is used by restn-first-get, put-app-left, rest-rec, l-01, firstn-append-01, lastn-app, firstn-first, first-mklist, put-in-02, restn-empty, l, firstn-firstn, firstn-prefix, sublist-part, firstn-last, first-num, get-numrec, sublist-append-04, sublist-num-01, lastn-rec, put-del1-in, l-02, sublist-rec, lastn-restn, lastn-lastn-01, firstn-twice, firstn-last-rec, sublist-firsteq, restn-nonempty-2, restn-last, blastN-firstN, get-last-04, lastN-blastN, restN-dups, sublist-rec-01, sublist-prefix, get-nodups, firstN-rec-01, put-rec-02, put-in-01, put-firstn-restn, restn-nonempty, get-mklist-01, num-lastN, firstn-butlast, firstN-lastN, put-rec, firstN-num-rec, sublist-move, put-in, firstN-in,
nat/succ-01 is used by firstn-length-01, inl, restn-first-get, put-app-left, get-firstn, rmtoobigpos, rmpos-size, restn-firstn-better, firstN-dups-04, rmpos-get, put-in-02, sublist-last-01, restn-empty, get-butlast, firstn-firstn, pos-get, restn-firstn, firstn-last, sublist-recstart, restN-append, put-del1-in, rest-in, del-rmdup-length-nle, firstn-last-01, get-append-less, firstn-restn-eq, lastn-lastn-01, dups-def, firstn-last-rec, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, restn-last, rmpos-in, map-get, sublist-rec-01, lastn-neq-01, sublist-prefix, get-nodups, lastN-in-01, put-in-01, put-firstn-restn, restn-nonempty, inl-01, get-in, firstn-restn-in, put-in, put-sw-in,
nat/zero is used by blastN-firstN, lastN-all, put-firstn-restn, put-last, rev-get,
nat/zero-02 is used by blastN-firstN,

Used from specification list-dup

list-dup/dups-appex is used by firstN-dups-02, firstN-dups-03,
list-dup/rm-ifrec is used by del-rmdup, rmdup-del1-del, rmdup-last,
list-dup/rmdup-n is used by del-rmdup-length-nle,
list-dup/rmdup-y is used by size-rmdup-del,
list-dup/a is used by firstN-dups-01, firstN-dups-02, firstN-dups, firstN-dups-03,
list-dup/e-01 is used by firstN-dups-04, dups-def, delete-dups, rmpos-in, restN-dups, dups, nodups-rmposnodups,
list-dup/in-06 is used by firstN-dups-02, firstN-dups-03,
list-dup/rec is used by del-del1-nodups, firstN-dups-04, pos-get, lastN-dups, dups-01, dups-def, delete-dups, rmpos-in, restN-dups, get-nodups, size-del-nodups, dups, nodups-rmposnodups,
list-dup/rm-empty is used by del-rmdup-length-nle, size-rmdup-del,
list-dup/rm-one is used by rmdup-last, size-rmdup-del,
list-dup/rmdup-e is used by del-rmdup, rmdup-del1-del, rmdup-last, size-rmdup-del,
list-dup/rmdup-n is used by del-rmdup, size-rmdup-del,
list-dup/rmdup-y is used by del-rmdup, del-rmdup-length-nle, size-rmdup-del,

Used from specification list-getput

list-getput/get-rec is used by get-firstn, get-butlast, get-mklist, at-last, get-append-less, map-get, get-in, put-sw-in,
list-getput/get-rec-01 is used by get-mklist-01,
list-getput/get-succ is used by get-succ,
list-getput/get-zero is used by get-zero,
list-getput/get-zero-01 is used by one-03, get-mklist-01,
list-getput/put-succ is used by put-succ,
list-getput/put-zero is used by put-zero,
list-getput/get-rec-01 is used by rmpos-get, sublist-last,
list-getput/get-zero-01 is used by rmpos-get, sublist-one, firstn-last-rec,

Used from specification list-data

list-data/length-neq is used by lastn-neq-02,
list-data/elim-add is used by sublist-recstart, sublist-prefix,
list-data/elim-list-c is used by sublist-lenrec, firstn-prefix-04, firstn-append-01, restn-firstn-better, firstn-first, firstN-dups-04, rmpos-get, firstn-firstn, rest-mklist-04, restn-firstn, firstn-last, lastN-rest, restN-append, rest-in, sublist-one, firstn-restn-eq, firstn-last-rec, first-append, restn-less, sublist-lenrec-01, rest-len, sublist-last, lastN-rest-01, put-zero-01, get-restn, put-firstn-restn, firstn-append, firstn-butlast, rest-sub, put-rec, del1-first, firstn-restn-in, lastn-mklist, firstrestex,
list-data/l is used by sublist-lenrec, restn-first-get, firstN-dups-01, put-app-left, firstN-lastN-in-01, get-firstn, lastn-app, rmpos-size, restn-firstn-better, firstN-dups-04, rmpos-get, put-in-02, sublist-last-01, restn-empty, possize-notin, l, get-butlast, firstn-firstn, pos-get, restn-firstn, in-get, append-mod, firstn-last, lastN-rest, sublist-recstart, firstN-dups-05, restN-append, firstn-butlast-intro, firstn-at-in-dups, del-length, put-del1-in, rest-in, firstN-dups, at-last, del-rmdup-length-nle, sublist-one, l-02, get-append-less, firstn-restn-eq, dups-def, firstn-last-rec, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, delete-one-nls, restn-last, rmpos-in, get-last-04, map-get, sublist-last, lastn-neq-01, sublist-prefix, get-nodups, size-rmdup-del, lastN-in-01, put-in-01, get-restn, put-firstn-restn, restn-nonempty, get-last-nonempty, lastN-in, get-in, size-del-nodups, firstn-restn-in, firstrestex, put-in, sub-zerorec-01, put-sw-in,
list-data/size-nil is used by inl, firstn-prefix-04, restn-first-get, put-app-left, l-01, get-last, firstn-append-01, get-firstn, lastn-app, rmpos-size, lastn-restn-01, delpos-atsizeid, app-05-neg, put-in-02, restn-empty, possize-notin, l, get-butlast, sublist-append-01, firstn-prefix, first-all, restn-firstn, lastN-dups, sublist-part, append-mod, firstN-len, sublist-append-04, put-del1-in, get-last2, at-last, restn-size-last, l-02, firstn-last-01, lastn-length, first-length, lastn-restn, dups-def, firstn-twice, delete-one-nls, restn-last, blastN-firstN, rmpos-in, get-last-04, rest-app, rest-len, map-get, lastN-blastN, get-last-01, restN-dups, put-app-right, get-append-grt, len-01, get-nodups, lastN-rest-01, size-rmdup-del, put-in-01, get-app, put-firstn-restn, restn-nonempty, inl-01, restN-all, firstn-butlast, firstN-lastN, firstn-app, rest-sub, restn-at, get-in, rev-get, sublist-move, size-del-nodups, notin-03, put-in, firstN-in, put-sw-in,

Used from specification nat-basic

nat-basic/a is used by lastN-empty, firstn-length-01, sublist-lenrec, inl, app-05, firstn-prefix-04, restn-first-get, get-add-num, put-app-left, rest-rec, l-01, get-last, restn-app, firstn-append-01, get-firstn, lastn-app, rmtoobigpos, rmpos-size, lastn-mklist-01, sub-zerorec, lastn-restn-01, restn-firstn-better, delpos-atsizeid, app-05-neg, first-mklist-01, firstN-empty, delpos-in, first-mklist, firstN-dups-04, rmpos-get, put-in-02, sublist-last-01, restn-empty, possize-notin, firstn-last-eq, l, first-append-01, sublist-at, sublist-first-skip, get-butlast, firstn-firstn, pos-get, firstN-in-02, sublist-append-01, firstn-prefix, sublist-append, first-all, lastN-rec-01, firstn-app-01, rest-mklist-04, restn-firstn, sublist-restn-02, lastN-dups, rest-mklist-01, in-get, sublist-part, append-mod, get-mklist, lastn-mklist-02, firstn-last, first-num, firstN-len, get-numrec, lastN-rest, sublist-recstart, restN-append, list-select-not-first, sublist-mklist-01, firstn-butlast-intro, sublist-length-02, sublist-append-04, sublist-num-01, del-length, lastn-rec, firstn-length-02, put-del1-in, rest-in, get-last2, at-last, del-rmdup-length-nle, sublist-one, restn-size-last, l-02, rest-mklist, firstn-prefix-02, firstn-last-01, get-append-less, lastn-length, firstn-app-02, first-length, firstn-restn-eq, sublist-empty, sublist-rec, lastn-restn, lastn-lastn-01, dups-def, firstn-twice, sub-rec, firstn-last-rec, sublist-firsteq, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, delete-one-nls, restn-last, blastN-firstN, rmpos-in, weak-restN-rec, get-last-04, rest-app, rest-len, rest-one-01, firstN-in-03, elim-lastn-butlastn, map-get, firstn-prefix-03, pos-equal, lastN-blastN, sublist-last, sub-rec-01, get-last-01, restN-dups, sublist-append-02, put-app-right, sublist-rec-01, first-mklist-03, lastn-neq-01, sublist-is-restn, weak-firstN-rec, get, get-append-grt, len-01, sublist-prefix, get-nodups, firstN-rec-01, lastN-rest-01, put-rec-02, size-rmdup-del, sublist-two-num, lastN-in-01, put-in-01, get-restn, get-app, sublist-length-03, put-firstn-restn, restn-apprec, restn-nonempty, inl-01, get-last-nonempty, lastN-ex, get-mklist-01, lastN-append, restN-all, num-lastN, firstn-append, rest-append, firstn-butlast, firstN-lastN, firstn-app, rest-sub, restn-rest, lastn-neq-02, restn-at, sublist-mklist, put-rec, firstN-num-rec, get-append-grt-02, lastN-append-01, from-rest, get-in, rev-get, rest-one, sublist-move, size-del-nodups, firstn-restn-in, firstn-length, notin-03, lastn-mklist, firstrestex, put-in, lastn-lastn, firstN-in, sub-zerorec-01, put-sw-in, nodups-rmposnodups,
nat-basic/add-base is used by sublist-lenrec, l-01, firstn-append-01, lastn-app, lastn-restn-01, restn-firstn-better, app-05-neg, first-mklist, rest-mklist-04, restn-firstn, sublist-part, append-mod, sublist-recstart, sublist-append-04, l-02, firstn-last-01, blastN-firstN, rest-app, rest-len, put-app-right, get-append-grt, get-restn, put-firstn-restn, restn-apprec, lastN-ex, firstn-butlast, firstN-lastN, firstn-app, rest-sub, rev-get, lastn-mklist,
nat-basic/c is used by lastN-empty, firstn-length-01, sublist-lenrec, inl, app-05, firstn-prefix-04, restn-first-get, get-add-num, put-app-left, rest-mklist-03, rest-rec, l-01, get-last, restn-app, firstn-append-01, get-firstn, lastn-app, rmtoobigpos, rmpos-size, lastn-mklist-01, sub-zerorec, lastn-restn-01, restn-firstn-better, delpos-atsizeid, app-05-neg, first-mklist-01, firstN-empty, delpos-in, first-mklist, firstN-dups-04, rmpos-get, put-in-02, sublist-last-01, restn-empty, possize-notin, firstn-last-eq, l, first-append-01, sublist-at, sublist-first-skip, get-butlast, firstn-firstn, pos-get, firstN-in-02, sublist-append-01, firstn-prefix, sublist-append, first-all, lastN-rec-01, firstn-app-01, rest-mklist-04, restn-firstn, sublist-restn-02, lastN-dups, rest-mklist-01, in-get, sublist-part, append-mod, get-mklist, lastn-mklist-02, firstn-last, first-num, firstN-len, get-numrec, lastN-rest, sublist-recstart, restN-append, list-select-not-first, sublist-mklist-01, firstn-butlast-intro, sublist-length-02, sublist-append-04, sublist-num-01, del-length, lastn-rec, firstn-length-02, put-del1-in, rest-in, get-last2, at-last, del-rmdup-length-nle, sublist-one, restn-size-last, l-02, rest-mklist, firstn-prefix-02, firstn-last-01, get-append-less, lastn-length, firstn-app-02, first-length, firstn-restn-eq, sublist-empty, sublist-rec, lastn-restn, lastn-lastn-01, dups-def, firstn-twice, sub-rec, firstn-last-rec, sublist-firsteq, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, delete-one-nls, restn-last, blastN-firstN, rmpos-in, weak-restN-rec, get-last-04, rest-app, rest-len, rest-one-01, firstN-in-03, elim-lastn-butlastn, map-get, firstn-prefix-03, pos-equal, lastN-blastN, sublist-last, sub-rec-01, get-last-01, restN-dups, sublist-append-02, put-app-right, sublist-rec-01, first-mklist-03, lastn-neq-01, sublist-is-restn, weak-firstN-rec, get, get-append-grt, len-01, sublist-prefix, get-nodups, firstN-rec-01, lastN-rest-01, put-rec-02, size-rmdup-del, sublist-two-num, lastN-in-01, put-in-01, get-restn, get-app, sublist-length-03, put-firstn-restn, restn-apprec, restn-nonempty, inl-01, get-last-nonempty, lastN-ex, get-mklist-01, lastN-append, restN-all, num-lastN, firstn-append, rest-append, firstn-butlast, firstN-lastN, firstn-app, rest-sub, restn-rest, lastn-neq-02, restn-at, sublist-mklist, put-rec, firstN-num-rec, get-append-grt-02, lastN-append-01, from-rest, get-in, rev-get, rest-one, sublist-move, size-del-nodups, firstn-restn-in, firstn-length, notin-03, lastn-mklist, firstrestex, put-in, lastn-lastn, firstN-in, sub-zerorec-01, put-sw-in, nodups-rmposnodups,
nat-basic/eq-01 is used by app-05, firstn-prefix-04, firstn-append-01, lastn-app, rmpos-size, lastn-restn-01, app-05-neg, sublist-last-01, restn-empty, possize-notin, l, pos-get, sublist-part, lastn-mklist-02, sublist-append-04, at-last, l-02, lastn-length, first-length, dups-def, get-last-04, rest-len, pos-equal, get-nodups, lastN-rest-01, size-rmdup-del, put-firstn-restn, get-last-nonempty, firstn-butlast, firstN-lastN, rest-sub, lastn-neq-02, size-del-nodups, notin-03,
nat-basic/eq-02 is used by l-01, l-02,
nat-basic/eqs is used by firstn-append-01, firstn-last-01, firstn-butlast,
nat-basic/f is used by sublist-lenrec, inl, firstn-prefix-04, restn-first-get, firstN-dups-01, put-app-left, firstN-lastN-in-01, get-firstn, rmtoobigpos, rmpos-size, lastn-restn-01, restn-firstn-better, first-mklist-01, firstN-dups-04, rmpos-get, put-in-02, sublist-last-01, restn-empty, firstn-last-eq, first-append-01, sublist-at, sublist-first-skip, get-butlast, firstn-firstn, pos-get, restn-firstn, rest-mklist-01, in-get, append-mod, firstn-last, lastN-rest, sublist-recstart, firstN-dups-05, restN-append, firstn-butlast-intro, sublist-length-02, firstn-at-in-dups, del-length, put-del1-in, rest-in, firstN-dups, sublist-one, firstn-prefix-02, firstn-last-01, get-append-less, firstn-restn-eq, lastn-restn, lastn-lastn-01, dups-def, firstn-last-rec, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, delete-one-nls, restn-last, rmpos-in, get-last-04, map-get, firstn-prefix-03, sublist-last, lastn-neq-01, sublist-is-restn, len-01, sublist-prefix, get-nodups, lastN-in-01, put-in-01, get-restn, sublist-length-03, put-firstn-restn, restn-nonempty, inl-01, lastN-ex, get-mklist-01, rest-append, firstN-lastN, sublist-mklist, lastN-append-01, lastN-in, get-in, rev-get, firstn-restn-in, lastn-mklist, firstrestex, put-in, sub-zerorec-01, put-sw-in,
nat-basic/l is used by sublist-lenrec, rmpos-get, append-mod, sublist-recstart, sublist-length-02, del-length, sublist-one, firstn-last-rec, delete-one-nls, sublist-last, len-01, sublist-prefix, get-restn, sublist-length-03, get-mklist-01, firstrestex,
nat-basic/l-01 is used by append-mod, lastN-ex, rev-get,
nat-basic/l-02 is used by firstn-length-01, sublist-lenrec, firstn-prefix-04, restn-app, lastn-mklist-01, lastn-restn-01, first-mklist-01, firstn-last-eq, first-append-01, sublist-at, sublist-first-skip, sublist-restn-02, rest-mklist-01, lastN-rest, sublist-length-02, firstn-prefix-02, lastn-restn, delete-one-nls, elim-lastn-butlastn, firstn-prefix-03, first-mklist-03, sublist-is-restn, sublist-length-03, put-firstn-restn, lastN-ex, lastN-append, rest-append, firstN-lastN, sublist-mklist, get-append-grt-02, lastN-append-01, rev-get,
nat-basic/less-zero is used by inl, restn-first-get, put-app-left, get-firstn, rmtoobigpos, rmpos-get, put-in-02, firstn-firstn, lastN-dups, in-get, put-del1-in, lastn-lastn-01, dups-def, restn-last, sublist-prefix, put-in-01, inl-01, restn-at, rev-get, put-in, put-sw-in,
nat-basic/lf is used by rmpos-get, firstn-at-in-dups,
nat-basic/lf-01 is used by rmpos-size, firstn-at-in-dups, firstn-last-01, get-last-04, sublist-is-restn, sublist-length-03, put-firstn-restn, rev-get, lastn-mklist,
nat-basic/lf-02 is used by firstn-prefix-04, get-firstn, rmpos-get, sublist-last-01, firstn-last-eq, lastN-rest, sublist-length-02, firstn-at-in-dups, firstn-prefix-02, firstn-prefix-03, sublist-is-restn, put-firstn-restn, lastN-ex, firstN-lastN,
nat-basic/ls-02 is used by rmpos-get, firstn-at-in-dups, sublist-lenrec-01, sublist-is-restn,
nat-basic/nls-fst is used by del-length, put-firstn-restn,
nat-basic/one-01 is used by lastn-app, rmpos-size, rmpos-get, l, pos-get, get-mklist, del-rmdup-length-nle, dups-def, rmpos-in, get-nodups, lastN-in-01, rev-get, size-del-nodups,
nat-basic/one-06 is used by size-rmdup-del,
nat-basic/oz is used by restn-first-get, put-app-left, rest-rec, firstn-append-01, get-firstn, lastn-app, rmpos-size, lastn-restn-01, first-mklist, rmpos-get, put-in-02, sublist-last-01, restn-empty, get-butlast, firstn-firstn, pos-get, firstn-prefix, rest-mklist-04, sublist-part, firstn-last, sublist-append-04, put-del1-in, get-append-less, sublist-empty, sublist-rec, lastn-restn, lastn-lastn-01, dups-def, firstn-twice, firstn-last-rec, sublist-firsteq, restn-nonempty-2, restn-last, rmpos-in, get-last-04, rest-len, map-get, lastN-blastN, restN-dups, sublist-rec-01, sublist-prefix, get-nodups, lastN-in-01, put-in-01, put-firstn-restn, restn-nonempty, get-mklist-01, firstn-butlast, firstN-lastN, rest-sub, put-rec, get-in, rev-get, sublist-move, lastn-mklist, put-in, firstN-in, put-sw-in,
nat-basic/pred is used by lastn-lastn-01, firstn-last-rec, lastN-in-01,
nat-basic/refl-nat is used by lastn-app, get-mklist, del-rmdup-length-nle, first-mklist-02, get-last-04, restN-len, lastN-all, lastN-blastN, rest-mklist-02, put-firstn-restn, put-last, rev-get,
nat-basic/s-04 is used by inl, restn-first-get, put-app-left, get-firstn, lastn-app, rmtoobigpos, rmpos-size, restn-firstn-better, firstN-dups-04, rmpos-get, put-in-02, restn-empty, get-butlast, firstn-firstn, pos-get, lastN-dups, in-get, get-mklist, firstn-last, lastN-rest, sublist-recstart, restN-append, firstn-butlast-intro, put-del1-in, rest-in, get-append-less, firstn-restn-eq, lastn-restn, lastn-lastn-01, dups-def, firstn-last-rec, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, restn-last, blastN-firstN, rmpos-in, get-last-04, map-get, lastN-blastN, lastn-neq-01, sublist-prefix, get-nodups, put-in-01, put-firstn-restn, restn-nonempty, inl-01, restn-at, lastN-append-01, get-in, rev-get, firstn-restn-in, lastn-mklist, put-in, put-sw-in,
nat-basic/succ is used by lastN-empty, firstn-length-01, sublist-lenrec, inl, firstn-prefix-04, restn-first-get, put-app-left, l-01, get-last, firstn-append-01, get-firstn, rmtoobigpos, rmpos-size, lastn-restn-01, restn-firstn-better, delpos-atsizeid, app-05-neg, firstN-empty, delpos-in, first-mklist, firstN-dups-04, rmpos-get, put-in-02, sublist-last-01, restn-empty, possize-notin, l, get-butlast, firstn-firstn, pos-get, firstn-prefix, first-all, rest-mklist-04, restn-firstn, lastN-dups, in-get, sublist-part, append-mod, lastn-mklist-02, firstn-last, firstN-len, lastN-rest, sublist-recstart, restN-append, firstn-at-in-dups, del-length, firstn-length-02, put-del1-in, rest-in, get-last2, at-last, del-rmdup-length-nle, sublist-one, l-02, get-append-less, lastn-length, first-length, firstn-restn-eq, sublist-empty, lastn-restn, lastn-lastn-01, dups-def, firstn-twice, firstn-last-rec, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, delete-one-nls, restn-last, blastN-firstN, rmpos-in, rest-app, rest-len, map-get, sublist-last, get-last-01, restN-dups, put-app-right, lastn-neq-01, get-append-grt, len-01, sublist-prefix, get-nodups, lastN-rest-01, lastN-in-01, put-in-01, get-restn, get-app, put-firstn-restn, restn-apprec, restn-nonempty, inl-01, get-last-nonempty, get-mklist-01, restN-all, firstn-append, firstn-butlast, firstN-lastN, firstn-app, rest-sub, restn-rest, lastn-neq-02, restn-at, lastN-append-01, get-in, rev-get, size-del-nodups, firstn-restn-in, firstn-length, notin-03, lastn-mklist, firstrestex, put-in, lastn-lastn, firstN-in, put-sw-in, nodups-rmposnodups,
nat-basic/trans-nat is used by rmpos-get, firstn-at-in-dups,
nat-basic/z-01 is used by firstn-prefix-04, lastn-app, first-mklist, sublist-last-01, possize-notin, rest-mklist-04, sublist-part, sublist-append-04, firstn-length-02, l-02, lastn-restn, rest-len, pos-equal, lastN-rest-01, put-firstn-restn, firstN-lastN, rest-sub, sublist-move,
nat-basic/z-02 is used by sublist-append-01, sublist-append-04, sublist-last, sublist-move,
nat-basic/zero is used by restn-first-get, rest-rec, get-firstn, restn-empty, sublist-append-04, lastn-restn, restn-nonempty-2, restn-last, lastN-blastN, restN-dups, restn-nonempty, get-last-nonempty, get-mklist-01, num-lastN, sublist-move,

Used from specification list

list/c is used by put-zero, get-zero, put-succ, get-succ,
list/in-append is used by firstN-lastN-in,
list/lastdiv is used by lastN-blastN,
list/Last is used by lastN-empty, sublist-lenrec, lastn-app, lastn-restn-01, lastN-rec-01, lastn-rec, lastn-one, lastn-length, lastn-lastn-01, firstn-last-rec, sublist-lenrec-01, del-rev, lastn-neq-01, lastN-in-01, lastn-neq-02, rev-get, lastn-lastn,
list/Nil is used by app-05, put-app-left, get-last, firstn-append-01, lastn-app, app-05-neg, get-butlast, sublist-append-01, sublist-part, append-mod, firstN-len, app, sublist-append-04, lastn-one, firstn-last-01, firstn-restn-eq, del-append, firstn-last-rec, sublist-lenrec-01, get-last-04, rest-app, restN-len, lastN-blastN, rmdup-last, put-app-right, app-01, rest-mklist-02, get-append-grt, get-app, put-firstn-restn, firstn-append, firstn-butlast, firstN-lastN, firstn-app, lastN-append-01, firstrestex,
list/a is used by lastN-empty, firstn-length-01, sublist-lenrec, sublist-append-03, inl, app-05, firstn-prefix-04, restn-first-get, firstN-dups-01, get-add-num, del-del1-nodups, put-app-left, rest-mklist-03, l-01, get-last, firstn-append-01, get-firstn, in-03, lastn-app, rmtoobigpos, rmpos-size, lastn-mklist-01, sub-zerorec, pos-one, lastn-restn-01, firstn-one, restn-firstn-better, put-butlast, delpos-atsizeid, app-05-neg, firstn-first, firstN-empty, delpos-in, first-mklist, firstN-dups-04, rmpos-get, put-in-02, restn-empty, possize-notin, l, one-01, del-n-simp, get-butlast, firstn-firstn, pos-get, sublist-append-01, sub-len-01, firstn-prefix, sublist-append, first-all, lastN-rec-01, firstn-app-01, rest-mklist-04, restn-firstn, lastN-dups, in-get, sublist-part, append-mod, get-mklist, lastn-mklist-02, firstn-last, first-num, firstN-len, from-notin, get-numrec, restn-prefix, rest-two, lastN-rest, sublist-recstart, app, sublist-append-01-01, firstn-allprefix, in-01, restN-append, list-select-not-first, firstn-butlast-intro, sublist-append-04, sublist-num-01, del-length, lastn-rec, rest-two-01, elim-firstn-restn, one-01-01, firstn-length-02, firstN-dups-02, put-del1-in, rest-in, in, lastn-one, get-last2, firstN-dups, at-last, del-rmdup, get-last-03, in-02-01, del-rmdup-length-nle, sublist-one, restn-size-last, delnr-one, l-02, rest-mklist, del1-empty, in-04, firstn-last-01, get-append-less, lastn-length, firstn-app-02, dups-01, first-length, firstn-restn-eq, sublist-empty, sublist-rec, del-append, lastn-restn, lastn-lastn-01, dups-def, firstn-twice, firstn-last-rec, put-one-01, sublist-firsteq, del1-del-switch, first-append, restn-less, delete-dups, restn-nonempty-2, sublist-lenrec-01, firstn-two, del-del, delete-one-nls, restn-last, firstn-one-01, blastN-firstN, rmpos-in, weak-restN-rec, get-last-04, rest-app, rest-len, restN-len, lastn-neq-04, sw-02, del-rev, elim-lastn-butlastn, map-get, rmdup-del1-del, pos-equal, lastN-blastN, sublist-last, get-last-01, restN-dups, sublist-append-02, rmdup-last, firstn-app-exact, put-app-right, sublist-rec-01, lastn-neq-01, app-01, sublist-is-restn, rest-mklist-02, weak-firstN-rec, get, in-02, get-append-grt, len-01, sublist-prefix, get-nodups, firstN-rec-01, lastn-neq, lastN-rest-01, firstN-dups-03, put-rec-02, put-zero-01, size-rmdup-del, lastN-in-01, put-in-01, get-restn, del-del1-switch, get-app, sublist-length-03, put-firstn-restn, restn-nonempty, put-last, inl-01, get-last-nonempty, lastN-ex, lastN-append, restN-all, sublist-append-02-01, num-lastN, firstn-append, firstn-butlast, firstN-lastN, one, firstn-app, rest-sub, put-one, lastn-neq-02, restn-at, put-rec, firstN-num-rec, lastN-append-01, del1-first, from-rest, get-in, del1-del, sw, rev-get, rest-one, sublist-move, size-del-nodups, firstn-restn-in, firstn-length, sublist-good, notin-03, lastn-mklist, firstrestex, firstn-one-02, in-01-01, put-in, dups, lastn-lastn, firstN-in, sub-zerorec-01, put-sw-in, nodups-rmposnodups,
list/app is used by get-firstn, lastn-app, rmpos-size, pos-one, firstn-one, one-01, get-butlast, get-mklist, firstn-last, one-01-01, get-last2, at-last, restn-size-last, delnr-one, firstn-last-01, firstn-last-rec, sublist-lenrec-01, restn-last, firstn-one-01, rmpos-in, get-last-04, del-rev, map-get, lastN-blastN, sublist-last, get-last-01, get-nodups, size-rmdup-del, restn-nonempty, lastN-ex, firstn-append, firstn-butlast, one, put-one, firstn-one-02,
list/app-01 is used by sub-zerorec, sublist-append-04, sublist-num-01, firstn-last-01, lastN-blastN, sublist-append-02, sublist-move,
list/app-02 is used by lastN-empty, sublist-lenrec, firstn-prefix-04, firstn-append-01, get-firstn, rmpos-size, restn-firstn-better, firstn-first, firstN-empty, firstN-dups-04, put-in-02, restn-empty, l, get-butlast, firstn-firstn, pos-get, restn-firstn, sublist-part, get-mklist, firstn-last, lastN-rest, sublist-recstart, restN-append, firstn-butlast-intro, del-length, put-del1-in, rest-in, at-last, sublist-one, del1-empty, firstn-last-01, get-append-less, firstn-restn-eq, sublist-empty, firstn-last-rec, put-one-01, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, delete-one-nls, rmpos-in, rest-len, map-get, lastn-neq-01, get-nodups, size-rmdup-del, put-in-01, get-restn, put-firstn-restn, restn-nonempty, get-last-nonempty, firstn-append, firstn-butlast, firstN-lastN, rest-sub, get-in, size-del-nodups, firstn-restn-in, firstrestex, put-in, put-sw-in,
list/app-03 is used by lastn-restn-01, lastn-lastn-01, lastN-blastN, lastn-lastn,
list/app-05 is used by rmtoobigpos,
list/c is used by sublist-lenrec, inl, app-05, firstn-prefix-04, restn-first-get, del-del1-nodups, put-app-left, l-01, get-last, firstn-append-01, get-firstn, in-03, rmtoobigpos, rmpos-size, sub-zerorec, restn-firstn-better, delpos-atsizeid, app-05-neg, firstn-first, firstN-empty, delpos-in, first-mklist, firstN-dups-04, rmpos-get, put-in-02, restn-empty, possize-notin, l, get-butlast, firstn-firstn, pos-get, sublist-append-01, firstn-prefix, sublist-num, first-all, rest-mklist-04, restn-firstn, lastN-dups, in-get, sublist-part, append-mod, firstn-last, first-num, firstN-len, from-notin, lastN-rest, sublist-recstart, app, in-01, restN-append, sublist-append-04, sublist-num-01, del-length, put-del1-in, rest-in, in, get-last2, at-last, del-rmdup, in-02-01, del-rmdup-length-nle, sublist-one, l-02, del1-empty, in-04, firstn-last-01, get-append-less, dups-01, first-length, firstn-restn-eq, sublist-empty, sublist-rec, del-append, lastn-restn, dups-def, firstn-twice, firstn-last-rec, sublist-firsteq, del1-del-switch, first-append, restn-less, delete-dups, restn-nonempty-2, sublist-lenrec-01, del-del, delete-one-nls, restn-last, blastN-firstN, rmpos-in, rest-app, rest-len, sw-02, del-rev, map-get, rmdup-del1-del, pos-equal, sublist-last, get-last-01, restN-dups, rmdup-last, put-app-right, sublist-rec-01, app-01, weak-firstN-rec, get, in-02, get-append-grt, len-01, sublist-prefix, get-nodups, firstN-rec-01, lastN-rest-01, put-rec-02, put-zero-01, size-rmdup-del, put-in-01, get-restn, del-del1-switch, get-app, put-firstn-restn, restn-nonempty, inl-01, get-last-nonempty, restN-all, firstn-append, firstn-butlast, firstN-lastN, firstn-app, rest-sub, put-one, restn-at, put-rec, firstN-num-rec, lastN-append-01, del1-first, from-rest, get-in, del1-del, sw, rev-get, sublist-move, size-del-nodups, firstn-restn-in, notin-03, lastn-mklist, firstrestex, in-01-01, put-in, dups, firstN-in, sub-zerorec-01, put-sw-in, nodups-rmposnodups,
list/c-03 is used by del1-empty,
list/c-04 is used by sublist-one-01, lastn-one-01, firstn-one, lastn-one, sublist-one, restn-size-last, firstn-last-rec, sublist-lenrec-01, firstn-one-01, rmdup-last, firstn-append, firstn-one-02,
list/c-05 is used by firstn-last-01,
list/c-06 is used by firstn-append-01, firstn-first, firstn-firstn, rest-mklist-04, firstn-last-01, sublist-firsteq, firstn-append, firstn-butlast, lastn-mklist,
list/c-07 is used by restn-first-get, firstn-append-01, get-firstn, restn-firstn-better, rmpos-get, put-in-02, restn-empty, get-butlast, sublist-append-01, first-all, restn-firstn, sublist-part, get-mklist, firstN-len, rest-two, lastN-rest, sublist-recstart, sublist-append-04, sublist-num-01, rest-two-01, put-del1-in, at-last, restn-size-last, firstn-last-01, get-append-less, lastn-restn, firstn-twice, firstn-last-rec, put-one-01, restn-less, restn-nonempty-2, sublist-lenrec-01, restn-last, weak-restN-rec, rest-app, map-get, sublist-last, restN-dups, weak-firstN-rec, firstN-rec-01, put-in-01, restn-nonempty, restN-all, firstn-append, firstn-butlast, firstN-lastN, firstn-app, firstN-num-rec, lastN-append-01, from-rest, get-in, rest-one, sublist-move, put-in, put-sw-in,
list/c-08 is used by restn-first-get, firstn-append-01, get-firstn, put-in-02, first-all, sublist-part, firstN-len, sublist-recstart, sublist-append-04, sublist-num-01, put-del1-in, firstn-last-01, firstn-twice, firstn-last-rec, put-one-01, sublist-lenrec-01, weak-firstN-rec, firstN-rec-01, put-in-01, firstn-append, firstn-butlast, firstn-app, firstN-num-rec, sublist-move, put-in,
list/e is used by lastN-empty, sublist-lenrec, firstn-prefix-04, firstn-append-01, get-firstn, rmtoobigpos, rmpos-size, restn-firstn-better, firstn-first, firstN-empty, firstN-dups-04, put-in-02, restn-empty, l, get-butlast, firstn-firstn, pos-get, restn-firstn, get-mklist, firstn-last, lastN-rest, sublist-recstart, restN-append, firstn-butlast-intro, del-length, put-del1-in, rest-in, at-last, sublist-one, del1-empty, get-append-less, firstn-restn-eq, sublist-empty, firstn-last-rec, put-one-01, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, delete-one-nls, rmpos-in, rest-len, map-get, lastn-neq-01, get-nodups, one-03, size-rmdup-del, put-in-01, get-restn, put-firstn-restn, restn-nonempty, get-last-nonempty, firstn-append, firstn-butlast, rest-sub, get-in, size-del-nodups, firstn-restn-in, firstrestex, put-in, put-sw-in,
list/e-01 is used by rmpos-get, firstn-last-01, sublist-firsteq, sublist-last, sublist-prefix, size-rmdup-del,
list/e-02 is used by lastn-restn-01, lastN-blastN, lastn-neq-01,
list/first is used by one-03, firstn-one-02,
list/first-01 is used by first-append,
list/in-01 is used by delpos-in, in-01, put-del1-in, in, in-04, dups-01, rmpos-in, in-02, put-in-01, in-01-01, put-in, firstN-in, put-sw-in,
list/in-06 is used by in-03, app-05-neg, delpos-in, put-in-02, from-notin, in-01, rest-in, in, in-02-01, in-04, rmpos-in, app-01, get-in, notin-03, in-01-01, firstN-in,
list/in-11 is used by firstn-last-01, firstN-in,
list/in-12 is used by rest-in,
list/in-14 is used by firstn-append-01, firstn-first, firstn-firstn, rest-mklist-04, firstn-last-01, lastn-neq-01, lastn-neq, firstn-append, firstn-butlast, lastn-neq-02, lastn-mklist,
list/in-15 is used by lastN-blastN, lastn-neq-01, lastn-neq-02,
list/in-17 is used by firstn-last-01, del-rev, lastN-blastN, rmdup-last, lastn-neq-01, size-rmdup-del, lastN-in-01, lastn-neq-02, del-one-simp, lastn-mklist,
list/in-append is used by firstn-append-01, firstn-last-01, lastN-blastN, rmdup-last, lastn-neq-01, size-rmdup-del, lastN-in-01, firstn-append, firstn-butlast, lastn-neq-02, firstn-restn-in, lastn-mklist,
list/in-empty is used by inl, app-05, l-01, delpos-in, possize-notin, l, in-get, app, in-01, put-del1-in, in, del-rmdup-length-nle, l-02, in-04, dups-01, rmpos-in, pos-equal, get, in-02, size-rmdup-del, lastN-in-01, put-in-01, inl-01, size-del-nodups, firstn-restn-in, in-01-01, put-in, firstN-in, put-sw-in,
list/in-rec is used by inl, app-05, firstn-append-01, firstn-first, possize-notin, l, firstn-firstn, rest-mklist-04, in-get, app, put-del1-in, in, l-02, in-04, dups-01, rmpos-in, pos-equal, get, put-in-01, inl-01, firstn-append, firstn-butlast, lastn-neq-02, from-rest, size-del-nodups, firstn-restn-in, put-in, put-sw-in,
list/inapp-02 is used by firstn-last-01, firstn-append,
list/inapp-13 is used by lastn-neq-01,
list/len is used by firstn-length-01, lastn-mklist-01, lastn-restn-01, sublist-append-01, firstn-butlast-intro, sublist-append-04, firstn-length-02, rest-in, restn-size-last, firstn-last-01, lastn-length, restn-less, get-last-04, elim-lastn-butlastn, lastN-blastN, sublist-last, lastn-neq-01, size-rmdup-del, sublist-length-03, put-firstn-restn, lastN-append, lastn-neq-02, lastN-append-01, sublist-move, firstn-restn-in, firstn-length, firstN-in,
list/len-01 is used by sublist-lenrec, del-del1-nodups, put-app-left, firstn-append-01, in-03, lastn-app, rmtoobigpos, put-butlast, delpos-atsizeid, first-mklist, del-n-simp, first-all, lastN-rec-01, firstn-app-01, sublist-part, append-mod, first-num, firstN-len, sublist-recstart, app, restN-append, lastn-rec, del-rmdup, in-02-01, firstn-app-02, firstn-restn-eq, sublist-rec, del-append, firstn-twice, firstn-last-rec, put-one-01, del1-del-switch, first-append, restn-less, sublist-lenrec-01, firstn-two, del-del, blastN-firstN, sw-02, rmdup-del1-del, rmdup-last, put-app-right, sublist-rec-01, app-01, weak-firstN-rec, firstN-rec-01, put-rec-02, put-zero-01, del-del1-switch, put-firstn-restn, put-last, sublist-append-02-01, num-lastN, firstn-append, firstn-butlast, firstN-lastN, firstn-app, put-rec, firstN-num-rec, del1-first, from-rest, del1-del, sw, firstrestex, sub-zerorec-01,
list/len-02 is used by lastn-restn-01, rmpos-get, pos-get, sublist-append-01, firstn-butlast-intro, sublist-append-04, restn-size-last, firstn-last-01, lastn-length, dups-def, rmpos-in, get-last-04, lastN-blastN, sublist-last, lastn-neq-01, get-nodups, size-rmdup-del, put-firstn-restn, lastn-neq-02, rev-get, sublist-move,
list/len-03 is used by firstn-append-01, firstn-last-01, firstn-butlast,
list/len-05 is used by firstn-length-01, sublist-lenrec, inl, firstn-prefix-04, restn-first-get, put-app-left, l-01, get-last, firstn-append-01, get-firstn, rmtoobigpos, rmpos-size, restn-firstn-better, delpos-atsizeid, app-05-neg, firstN-dups-04, rmpos-get, put-in-02, restn-empty, possize-notin, l, get-butlast, firstn-firstn, pos-get, firstn-prefix, first-all, restn-firstn, lastN-dups, in-get, sublist-part, append-mod, lastn-mklist-02, firstn-last, firstN-len, lastN-rest, sublist-recstart, restN-append, del-length, firstn-length-02, put-del1-in, rest-in, get-last2, at-last, del-rmdup-length-nle, sublist-one, l-02, get-append-less, first-length, firstn-restn-eq, lastn-restn, dups-def, firstn-twice, firstn-last-rec, first-append, restn-less, restn-nonempty-2, sublist-lenrec-01, delete-one-nls, restn-last, blastN-firstN, rmpos-in, rest-app, rest-len, map-get, get-last-01, restN-dups, put-app-right, get-append-grt, len-01, sublist-prefix, get-nodups, lastN-rest-01, put-in-01, get-restn, get-app, put-firstn-restn, restn-nonempty, inl-01, get-last-nonempty, restN-all, firstn-butlast, firstN-lastN, firstn-app, rest-sub, lastn-neq-02, restn-at, lastN-append-01, get-in, rev-get, size-del-nodups, firstn-restn-in, firstn-length, notin-03, firstrestex, put-in, firstN-in, put-sw-in,
list/len-06 is used by firstn-last-01, del-rev, put-firstn-restn,
list/map-base is used by map-get,
list/map-rec is used by map-get,
list/rest is used by rest-one-01, firstn-one-02,
list/rest-01 is used by restN-append, first-append,