[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

list/bitlista/a is used by boolvals-put, boolvals-length, boolvals-get,
list/javavalues/a is used by boolvals-put, boolvals-length, boolvals-get,
list/bitlista/app-01 is used by boolvals-put,
list/bitlista/c is used by boolvals-put, boolvals-length, boolvals-get,
list/javavalues/c is used by boolvals-put, boolvals-length, boolvals-get,
list/javavalues/c-07 is used by boolvals-put,
list/javavalues/c-08 is used by boolvals-put,
list/javavalues/e-01 is used by boolvals-put,
list/javavalues/len is used by boolvals-put, boolvals-length, boolvals-get,
list/bitlista/len is used by boolvals-length,
list/javavalues/len-02 is used by boolvals-put, boolvals-length, boolvals-get,
list/bitlista/len-02 is used by boolvals-length,

Used from specification int-basic2

int-basic2/add-a is used by booleanarray-put, booleanarray-get,
int-basic2/add-c is used by booleanarray-put, booleanarray-get,
int-basic2/ax-04 is used by booleanarray-put, booleanarray-get,

Used from specification valuefuns

valuefuns/okval-bool is used by okarray-mod,

Used from specification intnat

intnat/abs-eq is used by booleanarray-len,
intnat/i2i-pos is used by getbooleanarray-length,
intnat/i2i-pos-01 is used by booleanarray-get,
intnat/labs is used by booleanarray-put, booleanarray-get,

Used from specification int-abs

int-abs/abs-16 is used by booleanarray-put, booleanarray-get,
int-abs/absle is used by booleanarray-put, booleanarray-get,
int-abs/forward-le-01 is used by booleanarray-put, booleanarray-get,
int-abs/forward-le-05 is used by booleanarray-put, booleanarray-get,
int-abs/lels is used by getbooleanarray-length, booleanarray-put, booleanarray-len, booleanarray-get,
int-abs/lels-02 is used by getbooleanarray-length,
int-abs/lels-03 is used by booleanarray-put, booleanarray-get,
int-abs/sub-zero-01 is used by booleanarray-put,
int-abs/zero-gels-04 is used by booleanarray-put,

Used from specification okfuns

okfuns/okarray-put-okval is used by okarray-mod,
okfuns/okarray-05 is used by okarray-mod, getbooleanarray-length, booleanarray-len, booleanarray-get,
okfuns/okarray-len is used by getbooleanarray-length,

Used from specification nat-basic1

nat-basic1/f is used by boolvals-put, boolvals-get,
nat-basic1/zero-01 is used by issorted-empty, boolvals-put, boolvals-get,

Used from specification javavalue

javavalue/elim-08 is used by booleanarray-put,
javavalue/sel-05 is used by boolvals-put,
javavalue/test-13 is used by booleanarray-put,

Used from specification storearrays

storearrays/get-get is used by booleanarray-get,
storearrays/get-length is used by getbooleanarray-length, booleanarray-len,
storearrays/getarray-put=set is used by booleanarray-put,
storearrays/get-length is used by booleanarray-put, booleanarray-len, booleanarray-get,
storearrays/getArray-zero is used by getbooleanarray-length, booleanarray-len,

Used from specification list-data

list-data/javavalues/l is used by boolvals-put, boolvals-get,
list-data/bitlista/size-01 is used by issorted-empty, boolvals-length,
list-data/javavalues/size-01 is used by getbooleanarray-length, boolvals-put, boolvals-length, boolvals-get, booleanarray-len,

Used from specification list-del

list-del/javavalues/get-numrec is used by boolvals-get,
list-del/javavalues/put-rec-01 is used by boolvals-put,
list-del/bitlista/get-succ is used by boolvals-get,
list-del/bitlista/get-zero-01 is used by boolvals-get,
list-del/javavalues/get-zero-01 is used by boolvals-get,
list-del/bitlista/put-succ is used by boolvals-put,
list-del/javavalues/put-zero is used by boolvals-put,
list-del/bitlista/put-zero is used by boolvals-put,

Used from specification javastore

javastore/length-at is used by booleanarray-put, booleanarray-len,

Used from specification nat

nat/elim-pred-c is used by boolvals-put, boolvals-get,
nat/lels is used by boolvals-put, boolvals-get,
nat/pred-03 is used by boolvals-put, boolvals-get,
nat/succ-01 is used by boolvals-put, boolvals-get,

Used from specification nat-basic2

nat-basic2/a is used by boolvals-put, boolvals-length, boolvals-get,
nat-basic2/c is used by boolvals-put, boolvals-length, boolvals-get,
nat-basic2/eq-01 is used by boolvals-length,
nat-basic2/oz is used by boolvals-put, boolvals-get,
nat-basic2/s is used by boolvals-put, boolvals-get,