[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 store

store/javastore/Subset is used by multi-subset, addarrays-subset,
store/javastore/In-store is used by nouninit-addarrays, addarrays-initdone,
store/javastore/in-pair is used by nouninit-addarrays, addarrays-initdone,
store/javastore/notmemlookup is used by addarrays-initdone,

Used from specification nat-mult

nat-mult/ax-03 is used by countrefs-rec-02, countrefs-i2n-01,
nat-mult/coef-18 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field,
nat-mult/mult-a is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-rec-02, countrefs-lastn-02, countrefs-lastn, countrefs-i2n-01, countrefs-i2n,
nat-mult/mult-c is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-rec-02, countrefs-lastn-02, countrefs-lastn-01, countrefs-lastn, countrefs-i2n-02, countrefs-i2n-01, countrefs-i2n,
nat-mult/one is used by multi-at-other,
nat-mult/rsucc-02 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-lastn, countrefs-i2n,

Used from specification addarray

addarray/in-1dim-12 is used by multi-fieldin,
addarray/isarray-1dim is used by multi-isarrayref,
addarray/isarray-init-02 is used by multi-isarrayref,
addarray/length-1dim-02 is used by multi-lengthin,
addarray/lookup-1dim-03 is used by multi-field,
addarray/add-in is used by multi-typein,
addarray/in-1dim-01 is used by multi-in-other,
addarray/in-1dim-03 is used by multi-in-other,
addarray/in-1dim-14 is used by multi-refin, multi-in-other, multi-fieldin,
addarray/in-1init is used by multi-in-other,
addarray/in-init-01 is used by multi-in-other,
addarray/in-init-06 is used by multi-fieldin,
addarray/in-init-09 is used by multi-refin, multi-in-other,
addarray/length-1dim is used by multi-lengthin, multi-length-first, multi-isarrayref,
addarray/length-1init-01 is used by multi-lengthin, multi-length-first, multi-isarrayref,
addarray/length-init is used by multi-lengthin,
addarray/lookup-1dim is used by multi-at-other, multg-at-ref,
addarray/lookup-1init is used by multi-at-other,
addarray/lookup-init is used by multi-field,
addarray/mode-1dim is used by multi-mode,
addarray/type-1dim is used by multi-typein, multi-type-first,
addarray/type-1init is used by multi-typein, multi-type-first,
addarray/type-in is used by multi-typein,

Used from specification list

list/references/a is used by nouninit-addarrays, multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs-lastn-03, countrefs-lastn-02, countrefs-lastn-01, countrefs-lastn, addarrays-type-01, addarrays-type, addarrays-length-01, addarrays-length, addarrays-auto-22,
list/intlista/a is used by multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getdims-zeroin-01, getdims-zeroin, getdims-zero-04, getdims-zero-03, getdims-zero-02, getdims-zero-01, getdims-posints-01, getdims-posints, getdims-empty-01, getcountdims, endfinallymode, countrefs2-zero, countrefs2-two, countrefs2-pos, countrefs2-one, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-le, countrefs-getdims-01, countrefs-getdims, countrefs-auto, countmore2, countdims-zero-04, countdims-zero-03, countdims-zero-02, countdims-zero-01, countdims-one-03, countdims-one-01, countdims-one, countdims-notneg, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length-01, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-case, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
list/intlista/app is used by multi-typein, multi-type-first, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, getdims-zeroin, getdims-zero-04, getdims-zero-02, endfinallymode, countrefs2-zero, countrefs2-pos, countrefs-getdims-01, countrefs-getdims, countdims-zero-02, countdims-one-03, countdims-one-01, addarrays-typein-01, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
list/references/app is used by addarrays-length, addarrays-auto-22,
list/intlista/app-01 is used by getdims-zero-03,
list/intlista/app-02-ant is used by multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, getdims-empty-01, endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length-01, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-case, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
list/references/c is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, addarrays-auto-22,
list/intlista/c is used by multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getdims-zeroin, getdims-posints-01, getdims-posints, getdims-empty-01, getcountdims, endfinallymode, countrefs2-pos, countrefs-not-zero-01, countrefs-not-zero, countrefs-getdims, countdims-zero-04, countdims-zero-03, countdims-notneg, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length-01, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-case, addarrays-at-other-01, addarrays-at-other,
list/references/c-03 is used by multi-at-other,
list/intlista/c-03 is used by endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat,
list/intlista/c-04 is used by getdims-zero-04, getdims-zero-01,
list/intlista/c-06 is used by endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat,
list/intlista/c-07 is used by multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-two, countrefs2-02, countrefs2-01, countrefs2, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, countrefs-auto, countmore2, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
list/references/c-07 is used by addarrays-auto-22,
list/intlista/c-08 is used by multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-zero, countrefs2-two, countrefs2-pos, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, countrefs-auto, countmore2, addarrays-length-01, addarrays-length, addarrays-case, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
list/references/c-08 is used by multi-type-first, multi-length-first, addarrays-auto-22,
list/intlista/e is used by multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, getdims-empty-01, endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-one, addarrays-mode, addarrays-length-01, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-case, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
list/references/e-01 is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, addarrays-auto-22,
list/intlista/e-01 is used by multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getdims-zeroin-01, getdims-zeroin, getdims-empty-01, endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length-01, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-case, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
list/intlista/first is used by addmultiarrays-base-01, addarrays-one, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
list/references/first is used by multi-typein, multi-lengthin, multi-isarrayref, addarrays-one, addarrays-auto-22,
list/references/in-01 is used by nouninit-addarrays, multi-typein, multi-lengthin, multi-isarrayref, multi-in-other,
list/intlista/in-01 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-in-other, multi-fieldin, multi-field, multi-at-other, getdims-zeroin-01, getdims-zeroin,
list/intlista/in-06 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other,
list/references/in-06 is used by nouninit-addarrays, multi-typein, multi-lengthin, multi-isarrayref, multi-in-other, multi-at-other, multg-at-ref,
list/intlista/in-10 is used by multi-length-first, multi-isarrayref,
list/references/in-14 is used by nouninit-addarrays, multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-lastn-03, countrefs-lastn-02, countrefs-lastn-01, countrefs-lastn,
list/intlista/in-14 is used by endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat,
list/intlista/in-17 is used by getdims-zeroin-01, getdims-zeroin, endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
list/references/in-17 is used by nouninit-addarrays, multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-lastn-03, countrefs-lastn-02, countrefs-lastn-01, countrefs-lastn,
list/intlista/in-append is used by getdims-zeroin-01, getdims-zeroin, endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
list/references/in-append is used by nouninit-addarrays, multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-lastn-03, countrefs-lastn-02, countrefs-lastn-01, countrefs-lastn,
list/references/in-empty is used by multg-at-ref,
list/intlista/in-empty is used by multi-typein, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, getdims-zeroin-01, getdims-zeroin, endfinallymode, addarrays-typein-01, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
list/intlista/len is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getcountdims, countrefs2-zero, countrefs2-two, countrefs2-pos, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, countrefs-auto, countmore2, addarrays-type, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
list/references/len is used by nouninit-addarrays, multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs-lastn-03, countrefs-lastn, addarrays-type-01, addarrays-type, addarrays-length-01, addarrays-length, addarrays-auto-22,
list/intlista/len-02 is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getcountdims, countrefs2-zero, countrefs2-two, countrefs2-pos, countrefs2-one-01, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-rec-02, countrefs-rec-01, countrefs-one, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, countrefs-auto, countmore2, addmultiarrays-base-01, addarrays-type, addarrays-one, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
list/references/len-02 is used by nouninit-addarrays, multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs-lastn-03, countrefs-lastn, addarrays-typein-01, addarrays-type-01, addarrays-type, addarrays-one, addarrays-length-01, addarrays-length, addarrays-auto-22,
list/references/onein is used by multi-typein, multi-lengthin, multi-isarrayref, addarrays-typein-01,
list/intlista/rest is used by addarrays-at-other-01, addarrays-at-other,

Used from specification storefuns

storefuns/initdone is used by addarrays-initdone,
storefuns/initerror is used by addarrays-initdone,
storefuns/initundone is used by nouninit-addarrays, addarrays-initdone,
storefuns/instore is used by multi-refin-other,
storefuns/list_ok is used by multi-subset, multi-newrefs, addarrays-subset,
storefuns/newref-def is used by multi-newref,
storefuns/newrefs-rec is used by addarrays-type-01, addarrays-length-01,
storefuns/instore-01 is used by multi-typein, multi-subset, multi-refin-other, multi-lengthin, multi-isarrayref-notin, multi-isarrayref-01, multi-in-other, multi-fieldin, endfinallymode-01, addarrays-typein, addarrays-subset,
storefuns/newref-01 is used by multi-newrefs, addarrays-type-01, addarrays-length-01,
storefuns/newref-03 is used by multi-subset, addarrays-subset,
storefuns/newreflist-null is used by nouninit-addarrays,
storefuns/newreflist-null-01 is used by nouninit-addarrays,
storefuns/newrefs-in is used by addarrays-at-other-01,
storefuns/newrefs-length is used by nouninit-addarrays, addarrays-at-other-01,
storefuns/newrefs-null is used by nouninit-addarrays, addarrays-jvmref,
storefuns/newrefs-one-01 is used by addarrays-at-other-01,

Used from specification int-basic2

Used from specification valuesfuns

valuesfuns/posints-rec is used by multi-length-first, multi-isarrayref,
valuesfuns/mkvalsr-len is used by multi-length-first,
valuesfuns/mkvalsr-one is used by addarrays-auto-22,
valuesfuns/mkvalsr-rec is used by addarrays-auto-22,
valuesfuns/posints-empty is used by multi-typein, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, getdims-posints-01, getdims-posints, addarrays-at-other-01, addarrays-at-other,
valuesfuns/posints-one is used by getdims-posints-01, getdims-posints, addarrays-one, addarrays-auto-22,
valuesfuns/posints-rec is used by multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, getdims-posints-01, getdims-posints, endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length-01, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-case, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
valuesfuns/posints-rec-01 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-in-other, multi-fieldin, multi-field, multi-at-other,
valuesfuns/posints-rec-02 is used by multi-at-other, getdims-posints,

Used from specification setlist

setlist/references/in is used by multi-newrefs,
setlist/references/intempty-01 is used by multi-newrefs,

Used from specification intnat

intnat/abs-succ-03 is used by countrefs2-03,
intnat/add-01 is used by countrefs-rec-02, countrefs-i2n-01, countrefs-i2n,
intnat/i2n-mult is used by countrefs-rec-02, countrefs-i2n-01, countrefs-i2n,
intnat/num-n2i-eq is used by endfinallymode, addarrays-subset, addarrays-mode, addarrays-at-other,
intnat/switch-le is used by multg-at-ref,
intnat/abs-eq is used by addarrays-at-other-01,
intnat/abs-succ-03 is used by multi-mode, multg-at-ref,
intnat/abs-zero is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs-le, countrefs-lastn,
intnat/add-nonneg-int-to-nat is used by addarrays-type, addarrays-length,
intnat/ini2-abs is used by multg-at-ref, addarrays-typein-01, addarrays-at-other-01, addarrays-at-other,
intnat/labs is used by countrefs-le,
intnat/labs-01 is used by multg-at-ref,
intnat/le is used by multi-isarrayref,
intnat/minus-one is used by addarrays-at-other,
intnat/n2i-add is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getcountdims, addarrays-type-01, addarrays-type, addarrays-length-01, addarrays-length,
intnat/n2n is used by addarrays-typein-01, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-fieldin, addarrays-fieldat, addarrays-at-other,
intnat/nat2int is used by multi-type-first,
intnat/nat2int-01 is used by multi-length-first, multi-isarrayref,
intnat/nat2int-02 is used by multi-isarrayref, addarrays-type, addarrays-length,
intnat/nat2int-06 is used by multi-length-first, multi-isarrayref,
intnat/nat2int-08 is used by multi-lengthin, countdims-zero-04, countdims-zero-03, countdims-notneg,
intnat/num-i2n-le is used by multg-at-ref,
intnat/num-n2i-eq is used by addarrays-typein-01, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-fieldin, addarrays-fieldat, addarrays-auto-22, addarrays-at-other,
intnat/num-n2i-ls-02 is used by multi-isarrayref,
intnat/num-n2i-ls-07 is used by multi-isarrayref, addarrays-type,
intnat/rax-04 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-i2n,

Used from specification int-abs

int-abs/Abs-pos is used by multg-at-ref,
int-abs/absle is used by countrefs-le,
int-abs/absls-02 is used by countrefs-le,
int-abs/lep-02 is used by multg-at-ref,
int-abs/numabspos is used by countrefs-le,
int-abs/abs-04 is used by multg-at-ref,
int-abs/abs-06 is used by countrefs-le,
int-abs/abs-16 is used by multg-at-ref,
int-abs/abs-18 is used by countrefs-abs,
int-abs/anti is used by multi-at-other, getdims-zero-04, getdims-posints, endfinallymode, countrefs2-03, countrefs-rec-02, countrefs-le, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
int-abs/ax-01 is used by multi-mode, multg-at-ref,
int-abs/ax-02 is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-two, countrefs2-pos, countrefs2-02, countrefs2-01, countrefs2, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, countmore2, addarrays-at-other-01, addarrays-at-other,
int-abs/elim-sub is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs-ls,
int-abs/forward-le is used by multi-isarrayref-01, endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat,
int-abs/forward-le-01 is used by nouninit-addarrays, multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getdims-zero-04, getdims-posints, endfinallymode, countrefs2-pos, countrefs2, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero, countrefs-le-03, countrefs-le-01, countrefs-le, countrefs-lastn, countrefs-i2n-01, countrefs-i2n, countdims-notneg, addarrays-typein-01, addarrays-typein, addarrays-type, addarrays-subset, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-one, addarrays-mode, addarrays-length-01, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-case, addarrays-at-other-01, addarrays-at-other,
int-abs/forward-le-02 is used by multi-lengthin, endfinallymode, countrefs2-pos, countrefs-not-zero, countrefs-i2n, countdims-notneg, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01,
int-abs/forward-le-03 is used by countrefs2-not-mone,
int-abs/forward-le-04 is used by countrefs2-pos, countrefs2-not-mone, countrefs2-03, countrefs-le-02, countrefs-le, countrefs-getdims-01, countrefs-getdims, countdims-zero-04, countdims-zero-03, countdims-notneg,
int-abs/forward-le-05 is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getdims-zeroin-01, getdims-zeroin, getdims-posints, getcountdims, endfinallymode, countrefs2-02, countrefs2-01, countrefs-rec-02, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-le, countrefs-i2n-02, countrefs-i2n-01, countrefs-getdims-01, countrefs-getdims, countmore2, countdims-zero-04, countdims-zero-03, countdims-one-03, countdims-notneg, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
int-abs/forward-lele is used by countrefs2-pos, countdims-notneg,
int-abs/forward-lels is used by multi-isarrayref-notin, multi-isarrayref-01, countrefs-le-02, countrefs-le, countdims-zero-04, countdims-zero-03,
int-abs/forward-lsle is used by multi-lengthin, multi-isarrayref-01, countrefs2-pos, countrefs-not-zero, countrefs-le-02, countrefs-le, countrefs-i2n, countdims-notneg, addarrays-typein-01, addarrays-type, addarrays-length, addarrays-at-other-01,
int-abs/lels is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getdims-zeroin, getdims-zero-04, getdims-posints-01, getdims-posints, getdims-empty-01, getcountdims, endfinallymode, countrefs2-two, countrefs2-pos, countrefs2-not-mone, countrefs2-03, countrefs2-02, countrefs2-01, countrefs-rec-02, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-le, countrefs-getdims-01, countrefs-getdims, countmore2, countdims-zero-04, countdims-zero-03, countdims-one-03, countdims-notneg, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
int-abs/lels-01 is used by nouninit-addarrays, multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-first-type-in, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getdims-posints-01, endfinallymode, countrefs2-pos, countrefs2, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-03, countrefs-le-01, countrefs-le, countrefs-i2n-02, countrefs-i2n-01, countrefs-i2n, countrefs-getdims-01, countrefs-getdims, countrefs-abs, countdims-zero-04, countdims-notneg, addarrays-typein-02, addarrays-typein-01, addarrays-typein, addarrays-type, addarrays-subset, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-one, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
int-abs/lels-02 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-i2n-01, addarrays-at-other-01, addarrays-at-other,
int-abs/lels-03 is used by multi-mode, multi-isarrayref-notin, multi-isarrayref-01, multg-at-ref, countrefs2-two, countrefs2-02, countrefs2-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, countmore2, countdims-zero-04, countdims-zero-03, countdims-one-03, countdims-notneg,
int-abs/lels-04 is used by nouninit-addarrays, multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-first-type-in, multi-fieldin, multi-field, multi-at-other, endfinallymode, countrefs2-pos, countrefs2, countrefs-rec-01, countrefs-not-zero, countrefs-le-03, countrefs-le-01, countrefs-getdims-01, countrefs-getdims, countdims-zero-04, countdims-notneg, addarrays-typein-02, addarrays-typein-01, addarrays-typein, addarrays-type, addarrays-subset, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-one, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
int-abs/leone is used by multi-mode, multg-at-ref, countrefs2-pos, countrefs2-01,
int-abs/lep is used by multi-isarrayref,
int-abs/lep-01 is used by multg-at-ref,
int-abs/ler is used by endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat,
int-abs/mone-05 is used by multg-at-ref,
int-abs/mone-06 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2, countrefs-rec-01, countrefs-ls, countrefs-le-01,
int-abs/negeq is used by countrefs-not-zero-01, addarrays-at-other,
int-abs/numadd-01 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs-not-zero-01, countrefs-i2n, addarrays-type, addarrays-length,
int-abs/numle-02 is used by multi-mode, multi-length-first, multi-isarrayref, multg-at-ref, countrefs-i2n, addarrays-type, addarrays-at-other,
int-abs/numle-03 is used by multg-at-ref,
int-abs/numleledel-01 is used by multi-length-first, multi-isarrayref, multg-at-ref, countrefs-i2n,
int-abs/numls-02 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2, countrefs-rec-01, countrefs-ls, countrefs-le-01,
int-abs/numls-03 is used by countrefs2-pos-01, countrefs-not-zero, countrefs-ls,
int-abs/numsub is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other,
int-abs/sub-eq-01 is used by multi-mode,
int-abs/succ-01 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-le-02,
int-abs/succ-02 is used by countrefs-ls,
int-abs/zero-gels-01 is used by multi-lengthin, countrefs2-pos, countrefs-not-zero, countrefs-i2n, countdims-notneg, addarrays-at-other-01,
int-abs/zero-gels-03 is used by countrefs-ls,
int-abs/zero-gels-04 is used by multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-lengthin, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, endfinallymode, countrefs2-pos, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-one, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat,
int-abs/zero-gs is used by countrefs2-pos,

Used from specification storekey

storekey/ex-03 is used by addarrays-fieldin, addarrays-fieldat,
storekey/test-05 is used by endfinallymode-01, addarrays-mode-01, addarrays-initdone,

Used from specification fieldname

fieldname/inj is used by endfinallymode-01, endfinallymode, addarrays-out, addarrays-mode-01, addarrays-mode, addarrays-initdone,

Used from specification typefuns

typefuns/mkarraydims-array is used by multi-type-first,
typefuns/mkarraydims-rec is used by addarrays-type,
typefuns/mkarraytype-zero is used by addarrays-auto-22,
typefuns/mktype-one is used by multi-type-first, addarrays-auto-22,

Used from specification nat-basic1

nat-basic1/f is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs-le, countrefs-lastn, countrefs-inrefs,
nat-basic1/lf-01 is used by multi-typein, multi-lengthin, multi-isarrayref,
nat-basic1/lf-02 is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-le, countrefs-inrefs,
nat-basic1/one is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-zero, countrefs2-pos, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, countmore2, addarrays-at-other-01, addarrays-at-other,
nat-basic1/ref-1 is used by multi-isarrayref,
nat-basic1/z is used by multi-isarrayref,

Used from specification int-basic1

int-basic1/forward-pos is used by countrefs-ls, countrefs-le, addarrays-length,
int-basic1/ls-01 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, getdims-posints-01, countrefs-rec-02, countrefs-i2n-02, countrefs-i2n-01, addarrays-at-other-01, addarrays-at-other,
int-basic1/lst-01 is used by addarrays-length,
int-basic1/lst-02 is used by addarrays-length,
int-basic1/numlsf is used by multg-at-ref, countrefs2-pos-01, countrefs-not-zero, countrefs-ls, addarrays-at-other,
int-basic1/two-ls is used by multi-mode, multg-at-ref,

Used from specification set-basic

set-basic/classnames/ne-01 is used by nouninit-addarrays,
set-basic/classnames/size-zero-01 is used by nouninit-addarrays,

Used from specification oelem

oelem/intlista/irreflexivity is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
oelem/intlista/lel is used by getdims-zeroin, endfinallymode, countrefs-not-zero-01, countdims-zero-03, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat,
oelem/intlista/transitivity is used by multi-lengthin, countrefs-not-zero, countrefs-ls, countrefs-le, countdims-notneg, addarrays-length,

Used from specification javatype

javatype/inj-01 is used by multi-type-first,
javatype/test-09 is used by multi-typein,
javatype/test-28 is used by addarrays-typein,

Used from specification javavalue

javavalue/disj-14 is used by addarrays-initdone,
javavalue/elim-02 is used by multi-lengthin,
javavalue/elim-10 is used by multi-typein,
javavalue/inj-04 is used by multi-length-first, addarrays-length-01, addarrays-length,
javavalue/inj-09 is used by multi-type-first, addarrays-type,
javavalue/sel-04 is used by multi-lengthin, multi-isarrayref,
javavalue/sel-11 is used by multi-typein, addarrays-typein,
javavalue/test-25 is used by multi-lengthin,
javavalue/test-92 is used by multi-typein,

Used from specification list-data

list-data/references/length-neq is used by nouninit-addarrays, countrefs-lastn-03, countrefs-lastn,
list-data/references/elim-list-c is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, addarrays-auto-22,
list-data/intlista/elim-list-c is used by multi-typein, multi-type-first, multi-subset, multi-refin-other, multi-refin, multi-newrefs, multi-newref, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref-notin, multi-isarrayref-01, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, endfinallymode, addarrays-typein-01, addarrays-type, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length-01, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-case, addarrays-at-other-01, addarrays-at-other,
list-data/references/l is used by multi-typein, multi-type-first, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, addarrays-type, addarrays-length, addarrays-auto-22, addarrays-at-other,
list-data/intlista/l is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-zero, countrefs2-pos, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-rec-02, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, addarrays-at-other-01, addarrays-at-other,
list-data/intlista/size-01 is used by multi-type-first, multi-mode, multg-at-ref, getcountdims, countrefs2-empty, countrefs-not-zero, countrefs-ls, countrefs-empty, countdims-zero-02, addmultidim_empty,
list-data/references/size-01 is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, addarrays-length, addarrays-auto-22,

Used from specification specialkeys

specialkeys/endfinallymode is used by endfinallymode-01, endfinallymode,
specialkeys/mode is used by addarrays-mode-01, addarrays-mode,
specialkeys/out is used by addarrays-out,
specialkeys/uninit is used by nouninit-addarrays, addarrays-initdone,
specialkeys/diff-01 is used by multi-mode,
specialkeys/length-01 is used by addarrays-initdone,
specialkeys/length-02 is used by endfinallymode-01, endfinallymode, addarrays-out, addarrays-mode-01, addarrays-mode, addarrays-initdone,
specialkeys/mode-01 is used by addarrays-mode-01, addarrays-mode,
specialkeys/mode-04 is used by multi-mode,
specialkeys/mode-05 is used by multi-mode,
specialkeys/out-01 is used by addarrays-out,
specialkeys/type-05 is used by endfinallymode-01, endfinallymode, addarrays-out, addarrays-mode-01, addarrays-mode, addarrays-initdone,

Used from specification list-del

list-del/references/first-num is used by addarrays-auto-22,
list-del/references/firstN-in is used by countrefs-inrefs,
list-del/references/firstN-rec-01 is used by multi-type-first, multi-length-first,
list-del/references/lastN-append-01 is used by multi-typein, multi-lengthin, multi-isarrayref,
list-del/references/lastN-length is used by countrefs-lastn,
list-del/references/lastn-firstn-in-01 is used by multi-typein, multi-lengthin, multi-isarrayref,
list-del/references/lastn-neq is used by multi-in-other, countrefs-lastn-01,
list-del/references/lastn-neq-04 is used by multi-in-other, countrefs-lastn-02,
list-del/references/first-length is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other,
list-del/references/firstN-rec is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other,
list-del/references/firstN-zero is used by multi-type-first, multi-length-first, addarrays-auto-22,
list-del/references/get-numrec is used by addarrays-auto-22,
list-del/references/get-zero-01 is used by addarrays-auto-22,
list-del/references/lastN-empty is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other,
list-del/references/lastn-length is used by countrefs-lastn-03,
list-del/references/lastn-neq is used by multi-at-other,
list-del/references/lastn-neq-02 is used by multi-at-other,
list-del/references/lastn-neq-04 is used by multi-at-other,
list-del/references/lastn-one is used by multi-at-other, addarrays-auto-22,
list-del/references/rest-in-01 is used by multg-at-ref,
list-del/references/rest-len is used by multg-at-ref,

Used from specification storefunsx

storefunsx/nouninit is used by nouninit-addarrays,
storefunsx/lookup-xtra is used by addarrays-initdone,

Used from specification javastore

javastore/look-ins is used by multg-at-ref,
javastore/lookup-if is used by multi-mode,

Used from specification int-mult

int-mult/dist-lsplit is used by multg-at-ref,
int-mult/ls-same is used by countrefs-le-02,
int-mult/ls-same-06 is used by countrefs-ls,
int-mult/zero-ls-02 is used by countrefs-i2n,
int-mult/Mult-zero is used by countrefs2-two, countrefs-i2n-01,
int-mult/abs-eqall is used by multg-at-ref,
int-mult/associativity is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-two, countrefs2-pos, countrefs2-one, countrefs2-02, countrefs2-01, countrefs2, countrefs-rec-02, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-i2n-01, countmore2, addarrays-at-other-01, addarrays-at-other,
int-mult/commutativity is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-two, countrefs2-pos, countrefs2-one, countrefs2-02, countrefs2-01, countrefs2, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-i2n-01, countrefs-getdims-01, countrefs-getdims, countmore2, addarrays-at-other-01, addarrays-at-other,
int-mult/eq-one-neg is used by countrefs-not-zero-01, addarrays-at-other,
int-mult/eq-pos is used by countrefs2-02, countrefs2-01, countmore2,
int-mult/le-abs is used by multg-at-ref,
int-mult/one is used by multg-at-ref, countrefs2-one,
int-mult/one-01 is used by addarrays-at-other,
int-mult/succ-rmerge is used by multi-mode, multg-at-ref, countrefs2-pos, countrefs2-02, countrefs2-01, countrefs2, countmore2,
int-mult/zero-eq is used by multg-at-ref,
int-mult/zero-ge is used by multg-at-ref, countrefs-rec-02,
int-mult/zero-ge-02 is used by countrefs-i2n-01,
int-mult/zero-le is used by multg-at-ref,
int-mult/zero-ls is used by countrefs2-pos, countrefs-not-zero, countrefs-le-02,
int-mult/zero-ls-02 is used by countrefs-ls,

Used from specification nat

nat/add-num-03 is used by countrefs-rec-02, countrefs-rec-01, countmore2,
nat/add-num-04 is used by addarrays-auto-22,
nat/anti is used by multi-typein, multi-lengthin, multi-isarrayref, countrefs-lastn,
nat/ax-02 is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-zero, countrefs2-pos, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, countmore2, addarrays-at-other-01, addarrays-at-other,
nat/elim-pred-c is used by multi-type-first, multi-length-first,
nat/elim-sub is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-le,
nat/eq-01 is used by multi-type-first, multi-length-first,
nat/eq-02 is used by multi-lengthin,
nat/eqle-one is used by multi-typein, multi-lengthin, multi-isarrayref,
nat/l-num-06 is used by multi-at-other,
nat/le-ls-simp is used by multi-lengthin, multi-in-other,
nat/le-one is used by multg-at-ref,
nat/lels is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs-lastn-02, countrefs-lastn-01,
nat/lels-01 is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs-le, countrefs-lastn, countrefs-inrefs,
nat/lels-03 is used by multi-typein, multi-lengthin, multi-isarrayref,
nat/lep is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, countrefs-le,
nat/lep-01 is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs-zero, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le, countrefs-lastn-02, countrefs-lastn-01, countrefs-getdims-01,
nat/lep-02 is used by multi-typein, multi-lengthin, multi-isarrayref, multi-in-other, multi-at-other, countrefs-lastn,
nat/let is used by multi-at-other, countrefs-le,
nat/lez is used by multg-at-ref,
nat/ls-01 is used by multi-at-other,
nat/ls-02 is used by multg-at-ref,
nat/ls-le-simp is used by multi-typein, multi-lengthin, multi-isarrayref,
nat/pred-03 is used by multi-type-first, multi-length-first,
nat/succ-01 is used by multi-typein, multi-lengthin, multi-isarrayref, multg-at-ref, countrefs-lastn-02, countrefs-lastn-01,

Used from specification list-last

list-last/intlista/bc is used by getdims-zeroin-01, getdims-zeroin, addarrays-at-other-01, addarrays-at-other,
list-last/intlista/b is used by multi-typein, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, getdims-zeroin, endfinallymode, addarrays-typein-01, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat, addarrays-at-other-01, addarrays-at-other,
list-last/intlista/bapp is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other,
list-last/intlista/bin is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other,
list-last/intlista/bin-01 is used by getdims-zeroin-01, getdims-zeroin, endfinallymode, addarrays-typein-01, addarrays-refin-01, addarrays-refin, addarrays-out, addarrays-mode, addarrays-length, addarrays-fieldin, addarrays-fieldat,
list-last/intlista/bin-02 is used by getdims-zeroin,
list-last/references/l-05 is used by addarrays-auto-22,
list-last/references/last-def is used by addarrays-auto-22,

Used from specification nat-basic2

nat-basic2/a is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getcountdims, countrefs2-zero, countrefs2-pos, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-le, countrefs-lastn-02, countrefs-lastn-01, countrefs-lastn, countrefs-inrefs, countrefs-i2n-01, countrefs-i2n, countrefs-getdims-01, countrefs-getdims, countmore2, addarrays-type-01, addarrays-type, addarrays-length-01, addarrays-length, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
nat-basic2/c is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, getcountdims, countrefs2-zero, countrefs2-pos, countrefs2-03, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-rec-02, countrefs-rec-01, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-le, countrefs-lastn-02, countrefs-lastn-01, countrefs-lastn, countrefs-inrefs, countrefs-i2n-02, countrefs-i2n-01, countrefs-i2n, countrefs-getdims-01, countrefs-getdims, countmore2, addarrays-type-01, addarrays-type, addarrays-length-01, addarrays-length, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
nat-basic2/eq is used by multi-lengthin,
nat-basic2/eq-01 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-rec-02, countrefs-lastn, countrefs-i2n-01, countrefs-i2n, addarrays-type, addarrays-length,
nat-basic2/eq-inc-neq is used by multi-typein, multi-lengthin, multi-isarrayref, countrefs-lastn,
nat-basic2/eqs is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other,
nat-basic2/l is used by multi-typein, multi-refin, multi-mode, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multg-at-ref,
nat-basic2/l-02 is used by multi-typein, multi-refin, multi-lengthin, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, countrefs-lastn, countrefs-inrefs,
nat-basic2/one is used by multi-typein, multi-type-first, multi-refin, multi-mode, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-pos, countrefs-rec-02, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, addarrays-type, addarrays-length, addarrays-at-other-01, addarrays-at-other,
nat-basic2/one-03 is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-zero, countrefs2-pos, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, addarrays-auto-22, addarrays-at-other-01, addarrays-at-other,
nat-basic2/oz is used by multi-typein, multi-type-first, multi-refin, multi-lengthin, multi-length-first, multi-isarrayref, multi-in-other, multi-fieldin, multi-field, multi-at-other, multg-at-ref, countrefs2-zero, countrefs2-pos, countrefs2-02, countrefs2-01, countrefs2, countrefs-zero, countrefs-not-zero-01, countrefs-not-zero, countrefs-ls, countrefs-le-02, countrefs-getdims-01, countrefs-getdims, addarrays-at-other-01, addarrays-at-other,
nat-basic2/s is used by multi-typein, multi-lengthin, multi-isarrayref, multg-at-ref,
nat-basic2/z-01 is used by multi-mode, multg-at-ref, countrefs-rec-02, countrefs-rec-01, countrefs-lastn-02, countrefs-lastn-01, countmore2,

Used from specification set-union

set-union/references/int-a is used by multi-newrefs,
set-union/references/int-c is used by multi-newrefs,

Used from specification storearrays

storearrays/is_arrayref is used by multi-isarrayref-notin, multi-isarrayref-01,