[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 nat-basic

nat-basic/a is used by content-write,
nat-basic/addex is used by content-write, content-trunc,
nat-basic/a is used by stream-split-partial-lastpage, stream-split-lastpage, getbyte-drop-upper, getbyte-drop-lower, fill-stream-append, emtpystream-merge-to, copy-stream-append, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat-basic/add-base is used by stream-split-partial-lastpage, stream-split-lastpage, copy-stream-append, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat-basic/c is used by stream-split-partial-lastpage, stream-split-lastpage, getbyte-drop-upper, getbyte-drop-lower, fill-stream-append, emtpystream-merge-to, copy-stream-append, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat-basic/eq-01 is used by content-write,
nat-basic/eq-02 is used by content-write,
nat-basic/eqs is used by copy-stream-append,
nat-basic/f is used by upto-stream, stream-upto, stream-split-partial-lastpage, stream-split-lastpage, getbyte-drop-lower, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat-basic/l is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, copy-stream-append, content-trunc,
nat-basic/l-01 is used by stream-split-partial-lastpage, fill-stream-append, copy-stream-append, content-write, content-trunc,
nat-basic/l-02 is used by fill-stream-append, copy-stream-append,
nat-basic/l-05 is used by copy-stream-append, content-write,
nat-basic/l-06 is used by copy-stream-append,
nat-basic/l-08 is used by fill-stream-append,
nat-basic/lf is used by stream-split-partial-lastpage, copy-stream-append, content-trunc,
nat-basic/lf-01 is used by fill-stream-append, copy-stream-append, content-write, content-trunc, content-read, at-content-stream,
nat-basic/lf-02 is used by fill-stream-append, copy-stream-append, content-write, content-trunc,
nat-basic/ls-02 is used by copy-stream-append,
nat-basic/nls-fst is used by content-trunc,
nat-basic/one is used by content-trunc,
nat-basic/ref is used by stream-split-lastpage, getbyte-drop-lower, fill-stream-append, content-write,
nat-basic/s-04 is used by stream-split-lastpage,
nat-basic/succ is used by stream-split-partial-lastpage, copy-stream-append, content-trunc,
nat-basic/trans is used by stream-split-partial-lastpage, copy-stream-append, content-trunc,
nat-basic/z-01 is used by content-trunc,
nat-basic/zero is used by copy-stream-append,

Used from specification abstract-file

abstract-file/elim is used by iso-unfold, iso-trans, iso-sym,
abstract-file/sel-01 is used by iso-unfold, iso-trans, iso-sym,
abstract-file/sel-02 is used by iso-unfold, iso-trans, iso-sym,
abstract-file/sel-06 is used by iso-unfold, iso-trans, iso-sym,
abstract-file/sel-07 is used by iso-unfold, iso-trans, iso-sym,

Used from specification afs-base

afs-base/afs-cons-file-nlink is used by afs-cons-getpage-size,
afs-base/afs-cons-pagesize is used by afs-cons-getpage-size,
afs-base/at-upto is used by upto-stream, stream-upto, content-trunc-exact, content-trunc,
afs-base/in-upto is used by upto-stream, stream-upto, content-trunc-exact, content-trunc,

Used from specification nat

nat/le-addex is used by stream-split-partial-lastpage, stream-split-lastpage, content-trunc,
nat/add-01 is used by copy-stream-append,
nat/anti is used by copy-stream-append,
nat/elim-sub is used by copy-stream-append, content-write,
nat/eq-01 is used by copy-stream-append,
nat/fle is used by upto-stream, stream-upto, fill-stream-append, content-write,
nat/fle-01 is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, copy-stream-append, content-trunc, content-read, at-content-stream,
nat/le-add is used by copy-stream-append,
nat/le-def is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, copy-stream-append, content-write,
nat/le-ls-simp is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, copy-stream-append, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat/lels is used by upto-stream, stream-upto, stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, copy-stream-append, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat/lels-02 is used by content-write,
nat/lels-03 is used by copy-stream-append,
nat/lep is used by copy-stream-append, content-write,
nat/lep-02 is used by getbyte-drop-upper, copy-stream-append, content-trunc,
nat/ler is used by content-write,
nat/let is used by copy-stream-append,
nat/lez is used by copy-stream-append,
nat/ls-01 is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, copy-stream-append,
nat/ls-le-simp is used by upto-stream, stream-upto, stream-split-partial-lastpage, stream-split-lastpage, getbyte-drop-upper, fill-stream-append, copy-stream-append,
nat/sub-base is used by copy-stream-append,

Used from specification store

store/file-content/At-other is used by getbyte-drop-upper, getbyte-drop-lower, content-write,
store/file-content/In-insert is used by content-write,
store/file-content/At-other is used by content-write,
store/file-content/At-same is used by getbyte-drop-upper, getbyte-drop-lower, content-write,
store/file-content/In-empty is used by stream-empty,
store/file-content/In-insert is used by getbyte-drop-upper,
store/file-content/in-neq is used by getbyte-drop-upper, getbyte-drop-lower,
store/file-content/insin is used by getbyte-drop-upper, getbyte-drop-lower,
store/file-content/k-At-same is used by content-write,
store/file-content/notmemlookup is used by stream-split-partial-lastpage, stream-split-lastpage,

Used from specification buffer-inf-conv

buffer-inf-conv/emptystream is used by zerostream-size, stream-empty,
buffer-inf-conv/tobuf-rev is used by buf-stream-eq,
buffer-inf-conv/tostream-at is used by fill-stream-append, copy-stream-append,
buffer-inf-conv/at-emptystream is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, content-trunc-exact, content-trunc,
buffer-inf-conv/finp-buf is used by copy-stream-append,
buffer-inf-conv/from-to-rest is used by copy-stream-append,
buffer-inf-conv/tobuf is used by buf-stream-eq,
buffer-inf-conv/tobuf-size is used by bufs-eq,
buffer-inf-conv/tostream-at is used by copy-stream-append, content-write, content-read, at-content-stream,
buffer-inf-conv/tostream-size is used by fill-stream-append, copy-stream-append, content-write, content-read, at-content-stream,

Used from specification stream

stream/buffer-inf/extensionality is used by stream-upto, stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
stream/buffer-inf/fin-size-from is used by copy-stream-append,
stream/buffer-inf/fin-size-from2 is used by copy-stream-append,
stream/buffer-inf/get-append-ls is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, content-write, content-trunc-exact, content-trunc,
stream/buffer-inf/get-append-notls is used by content-write,
stream/buffer-inf/get-from is used by copy-stream-append,
stream/buffer-inf/size-to is used by copy-stream-append,
stream/buffer-inf/append-assoc is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, content-write, content-trunc-exact, content-trunc,
stream/buffer-inf/fin-to is used by bufs-eq,
stream/buffer-inf/from-inf is used by stream-size-from, content-write, content-read, at-content-stream,
stream/buffer-inf/get-append-ls is used by content-write,
stream/buffer-inf/get-append-notls is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, content-write, content-trunc-exact, content-trunc,
stream/buffer-inf/get-from-inf is used by content-write, content-read, at-content-stream,
stream/buffer-inf/get-infto is used by upto-stream, stream-upto, stream-split-partial-lastpage, stream-split-lastpage, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
stream/buffer-inf/get-to is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append,
stream/buffer-inf/inf-size-to is used by stream-upto, stream-split-partial-lastpage, stream-split-lastpage, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
stream/buffer-inf/sel-fin is used by stream-upto, stream-split-partial-lastpage, stream-split-lastpage, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
stream/buffer-inf/sel-inf is used by stream-at, content-write, content-trunc-exact, content-trunc,
stream/buffer-inf/size-append is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, content-write, content-trunc-exact, content-trunc,
stream/buffer-inf/size-inf is used by zerostream-size, stream-size-from, stream-size, content-write, content-trunc-exact, content-trunc,
stream/buffer-inf/size-inf-to is used by upto-stream,
stream/buffer-inf/size-to is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, bufs-eq,
stream/buffer-inf/to-inf is used by upto-stream, stream-upto, stream-split-partial-lastpage, stream-split-lastpage, iso-unfold, iso-trans, iso-sym, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,

Used from specification page

page/emptypage-at is used by zeropage-mod-pagesize,
page/emptypage-at is used by content-write, content-trunc-exact, content-trunc,
page/emptypage-size is used by content-read, afs-cons-getpage-size,
page/page-size is used by zeropage-mod-pagesize, upto-stream, stream-upto, stream-split-partial-lastpage, stream-split-lastpage, getbyte-drop-upper, getbyte-drop-lower, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,

Used from specification array-copy

array-copy/buffer/at-fill-h is used by fill-stream-append,
array-copy/buffer/at-copy is used by copy-stream-append,
array-copy/buffer/size-copy is used by copy-stream-append,
array-copy/buffer/size-fill-h is used by fill-stream-append,

Used from specification stream-basic

stream-basic/buffer-inf/inj-02 is used by upto-stream, iso-unfold, iso-trans, iso-sym, copy-stream-append,
stream-basic/buffer-inf/stream-fin-forward is used by copy-stream-append,
stream-basic/buffer-inf/test-02 is used by copy-stream-append,

Used from specification nat-inf

nat-inf/add-cancel-num-01 is used by copy-stream-append,
nat-inf/add-all-zero is used by copy-stream-append,
nat-inf/add-assoc is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, content-write, content-trunc-exact, content-trunc,
nat-inf/add-cancel-01 is used by copy-stream-append,
nat-inf/add-comm is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, content-write, content-trunc-exact, content-trunc,
nat-inf/add-fin is used by stream-split-partial-lastpage, stream-split-lastpage, emtpystream-merge-to, copy-stream-append, content-write, content-trunc-exact, content-trunc,
nat-inf/add-inf2 is used by emptytream-dist-to, content-write, content-trunc-exact, content-trunc,
nat-inf/disj is used by content-trunc, buf-stream-eq,
nat-inf/eq-natinf-to-nat-2-1 is used by fill-stream-append,
nat-inf/eq-natinf-to-nat-2-2 is used by stream-split-partial-lastpage, stream-split-lastpage, emtpystream-merge-to,
nat-inf/inj is used by stream-upto, emptytream-dist-to, copy-stream-append, content-read, at-content-stream,
nat-inf/less-fin is used by stream-upto, stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, content-write, content-read, at-content-stream,
nat-inf/less-inf1 is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to,
nat-inf/less-inf2 is used by content-write, content-trunc-exact, content-trunc,
nat-inf/ls-natinf-to-nat-1-2 is used by stream-split-partial-lastpage, stream-split-lastpage, emtpystream-merge-to, copy-stream-append,
nat-inf/ls-natinf-to-nat-2-1 is used by copy-stream-append, content-write, content-trunc-exact,
nat-inf/ls-natinf-to-nat-2-2 is used by content-trunc,
nat-inf/ls-natinf-to-nat-3-1 is used by copy-stream-append,
nat-inf/not-less-zero is used by copy-stream-append,
nat-inf/prime-add-fin is used by content-trunc,
nat-inf/sel is used by stream-split-partial-lastpage, stream-split-lastpage, fill-stream-append, emtpystream-merge-to, emptytream-dist-to, copy-stream-append, content-write, content-trunc-exact, content-trunc, bufs-eq,

Used from specification nat-mult

nat-mult/dist is used by content-write,
nat-mult/modeq is used by content-write,
nat-mult/succ is used by content-write,
nat-mult/coef-21 is used by stream-split-lastpage,
nat-mult/ls-02 is used by content-trunc-exact,
nat-mult/modeq-01 is used by content-trunc,
nat-mult/modls is used by getbyte-drop-lower, content-write, content-trunc-exact,
nat-mult/mult-a is used by upto-stream, stream-upto, stream-split-partial-lastpage, stream-split-lastpage, getbyte-drop-upper, getbyte-drop-lower, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat-mult/mult-c is used by upto-stream, stream-upto, stream-split-partial-lastpage, stream-split-lastpage, getbyte-drop-upper, getbyte-drop-lower, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat-mult/rsucc-02 is used by getbyte-drop-upper, content-write, content-trunc,
nat-mult/zero-01 is used by getbyte-drop-lower,
nat-mult/zero-06 is used by content-write,

Used from specification nat-div

nat-div/cond-01 is used by upto-stream, stream-upto,
nat-div/div-elim is used by getbyte-drop-upper, getbyte-drop-lower, content-write, content-trunc-exact, content-trunc,
nat-div/mod-eq is used by stream-split-partial-lastpage, stream-split-lastpage, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat-div/mod-ls is used by zeropage-mod-pagesize,
nat-div/mod-mult is used by stream-split-partial-lastpage, stream-split-lastpage, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat-div/mod-once is used by content-write,
nat-div/mult is used by stream-split-partial-lastpage, stream-split-lastpage, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,
nat-div/zero-01 is used by stream-split-partial-lastpage, stream-split-lastpage, content-write, content-trunc-exact, content-trunc, content-read, at-content-stream,

Used from specification list-del

list-del/buffer-inf/extension is used by upto-stream,

Used from specification array

array/buffer/Extension is used by bufs-eq,