[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
,
Theorem base summary for Specification afs-stream
Status:
Proved!
Axioms: 4, User Theorems: 28 (Proved: 28, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 209, Interactions: 93
afs-cons-getpage-size(3,0)
content-trunc-exact(7,3)
fill-stream-append(13,6)
iso-sym(9,3)
stream-size(1,0)
zeropage-mod-pagesize(1,1)
at-content-stream(3,1)
content-write(29,14)
getbyte(0,0)
iso-trans(14,5)
stream-size-from(1,0)
zerostream-size(1,1)
buf-stream-eq(2,1)
copy-stream-append(41,17)
getbyte-drop-lower(5,2)
iso-unfold(6,2)
stream-split-lastpage(10,5)
bufs-eq(3,1)
emptytream-dist-to(3,2)
getbyte-drop-upper(6,3)
stream(0,0)
stream-split-partial-lastpage(10,5)
content-read(3,1)
emtpystream-merge-to(3,2)
getpage(0,0)
stream-at(1,0)
stream-upto(3,1)
content-trunc(24,13)
files-iso(0,0)
iso-refl(1,1)
stream-empty(2,1)
upto-stream(4,2)