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

add-ones-grlen(19,6)and-rec-05(1,1)band-011x-neg-04(4,3)band-notneg-01(5,3)bitsor-bi-ones(20,9)bor-2pot-plus(48,23)cast-law-mult-pos(19,12)compl-def(2,1)longshiftrsign(0,0)shiftright-neg-div-01(3,2)
add-ones-grlen-01(2,2)and-rec-06(2,1)band-011x-pos(60,25)band-num(2,0)bitsor-bi-sgn(109,50)bor-2pot-plus-01(57,29)cast-law-neg(10,7)compl-zero(1,0)longshiftrzero-def(0,0)shiftright-neg-div-02(2,2)
add-ones-grlen-02(18,9)and-rec-07(2,1)band-011x-pos-01(2,1)band-one-is-mod2(5,2)bitsor-bi-zeroes(34,12)bor-2pot-plus-02(2,2)cast-law-neg-pos(9,4)divide-by-10(24,15)longshiftzero-band-63(2,2)shiftright-neg-mone(10,5)
add-ones-lelen(17,5)and-rec-08(2,1)band-011x-pos-02(3,2)band-zero(3,2)bitsor-com(25,13)bor-65536-plus(4,4)cast-law-or-one(8,7)intshiftleft(0,0)longshiftzero-carry(3,1)shiftright-not-le(6,3)
add-ones-lelen-01(2,2)and-rec-09(2,1)band-011x-zero(1,0)bcompl-absorption(3,2)bitsor-empty(10,5)bor-assoc(5,4)cast-law-shift-snd-l(8,4)intshiftleft-band31(2,2)longshiftzero-carry-01(18,11)shiftright-not-ls(2,1)
and-011x-neg(32,15)and-rec-10(1,0)band-255-neg(3,3)bcompl-def(0,0)bitsor-first(21,11)bor-bitlength(5,3)cast-law-shift-snd-r(5,4)intshiftleft-is-mult(15,9)longshiftzero-def-pos(3,2)shiftright-not-ls-01(2,1)
and-ass(46,23)and-rec-11(1,0)band-255-pos(3,3)bcompl-num(2,1)bitsor-first-01(18,7)bor-com(2,2)cast-law-shift-snd-zr(5,4)intshiftleft-is-mult-01(36,19)longshiftzero-def-unbounded(2,2)shiftright-not-neg(4,2)
and-bits2int-sgn(2,1)and-rec-12(1,0)band-31-pos(6,2)bcompl-size(1,0)bitsor-first-02(26,10)bor-def(0,0)cast-law-sub(2,2)intshiftleft-is-shiftleft(2,2)longshiftzero-not-neg(4,2)shiftright-not-pos(5,3)
and-com(22,9)and-sgn(68,35)band-31-pos-01(2,1)bcompl-size-01(4,2)bitsor-mklist-in(34,15)bor-neq(1,0)cast-law-sub-one(3,3)intshiftleft-num(2,1)longshiftzero-not-neg-01(3,2)shiftright-not-pos-01(12,6)
and-false(21,7)and-size-one(26,11)band-31-pos-02(2,1)bits2int-is-cast(2,1)bitsor-onel(0,0)bor-notAndNot(16,8)cast-law-sub-one-01(5,5)intshiftright-def-unbounded(3,2)longshiftzero-pos(4,3)shiftright-pos-div(9,5)
and-first(25,9)and-size-one-01(15,7)band-32-not-neg(2,1)bits2int-is-cast-01(1,1)bitsor-oner(0,0)bor-num(2,1)cast-law-xor-one(13,12)intshiftright-ls(2,1)longshiftzero-zero(7,4)shiftright-pos-div-01(3,2)
and-insgn(41,21)and-true(20,6)band-63-lezero(1,0)bitsand-app(14,7)bitsor-ones-false(20,9)bor-shift-plus(3,3)cast-length(4,2)intshiftright-ls-01(24,10)longshiftzero-zero-01(3,1)shiftright-rec-8(10,4)
and-notempty(16,6)and-two(1,1)band-63-pos(6,2)bitsand-app-false(18,8)bitsor-ones-samelen(6,2)bor-zero(2,1)cast-max(8,4)intshiftright-ls-02(9,6)longshiftzero-zero-02(1,1)shiftright-rec-8-neg(118,68)
and-notempty-01(2,1)and-two-02(1,0)band-63-pos-01(2,1)bitsand-app-ones(22,11)bitsor-ones-true(16,7)bxor-bitlength(9,5)cast-min(10,5)intshiftright-mone(1,0)longshiftzero-zero-03(3,2)shiftright-rec-neg(57,31)
and-notempty-02(2,1)and-two-03(1,0)band-63-pos-02(2,1)bitsand-app-true(18,8)bitsor-rec(0,0)bxor-com(2,2)cast-mod-in(4,2)intshiftright-unbounded-same(4,2)or-invandinv(34,15)shiftright-rec-pos(61,27)
and-notempty-03(2,1)and-two-04(1,0)band-65535-neg(3,3)bitsand-app-zeros(46,23)bitsor-sgn-in(44,20)bxor-def(0,0)cast-mod-ls(3,2)intshiftrsign(22,9)or-last(2,1)shiftright-rec-pos-01(3,2)
and-notempty-04(2,1)and-two-05(1,0)band-65535-pos(3,3)bitsand-app-zeros-01(36,18)bitsor-zeroes-false(18,8)bxor-def-logic(39,22)cast-mod-ls-most(14,7)intshiftrsign-2pot-neg(22,12)or-rec(6,3)shiftright-shift(24,12)
and-notempty-05(2,1)and-two-06(1,0)band-associativity(18,9)bitsand-cast(735,384)bitsor-zeroes-samelen(6,2)bxor-flip-one-bit(123,64)cast-mod-ls-neg(11,6)intshiftrsign-2pot-neg-01(29,19)or-rec-01(2,1)shiftright-zero(7,4)
and-notempty-06(1,0)and-two-07(1,0)band-bitlength(15,8)bitsand-cast-01(57,31)bitsor-zeroes-true(16,7)bxor-minus-one(1,1)cast-mod-ls-pos(9,5)intshiftrsign-2pot-neg-02(8,5)or-rec-02(2,1)shiftrsign-01(0,0)
and-notempty-07(2,1)and-two-08(1,0)band-commutativity(2,1)bitsand-cast-04(44,19)bitsor-zerol(0,0)bxor-num(2,1)cast-mod-neg-high(81,42)intshiftrsign-2pot-pos(9,5)or-rec-03(2,1)shiftrzero-def-01(0,0)
and-notempty-08(2,1)and-two-09(1,0)band-def(0,0)bitsand-cast-05(49,18)bitsor-zeror(0,0)bxor-zero(2,1)cast-mod-neg-low(64,34)intshiftrsign-abs-le(20,12)or-rec-04(2,1)shiftzero-by-one(10,5)
and-notempty-09(2,1)and-zero-01(1,1)band-idempotent(2,1)bitsand-false(1,1)bitsxor-append-same-size(17,8)cast-add-2pot(4,3)cast-mod-pos-high(46,24)intshiftrsign-band31(3,3)or-rec-05(1,0)shiftzero-by-one-01(10,5)
and-notone(2,0)and-zero-02(2,1)band-idempotent-01(2,2)bitsand-false-01(1,1)bitsxor-bit(3,2)cast-add-2pot-01(3,3)cast-mod-pos-low(31,16)intshiftrsign-if(19,6)or-rec-06(1,0)shiftzero-max-neg(39,20)
and-notone-01(15,5)and-zero-03(2,1)band-le-zero(1,0)bitsand-fillsgn(66,27)bitsxor-empty(10,5)cast-add-2pot-h(38,20)cast-mult-2pot(4,2)intshiftrsign-neg-01(1,1)or-rec-07(1,0)shiftzero-max-neg-01(30,15)
and-notone-02(2,1)and-zerosin(22,11)band-ls-zero-01(1,0)bitsand-first-samesize(27,12)bitsxor-first(6,3)cast-band(16,9)cast-mult-add(17,9)intshiftrsign-neg-02(2,2)or-rec-08(1,0)shiftzero-minus-one(22,12)
and-notone-03(2,0)band-011x(2,2)band-max(70,35)bitsand-idempotent(10,5)bitsxor-is-orand(64,32)cast-cast(2,1)cast-mult-add-h(21,13)intshiftrsign-num(2,1)or-two(1,1)shiftzero-not-neg(11,6)
and-one(3,2)band-011x-eq(22,11)band-max-01(1,0)bitsand-len-false(12,5)bitsxor-onel(0,0)cast-def(0,0)cast-mult-add-h-01(6,4)intshiftrsign-pos-8(2,1)or-two-01(1,1)shiftzero-pos(62,36)
and-one-01(6,1)band-011x-eq-01(2,1)band-max-02(1,0)bitsand-len-true(12,5)bitsxor-oner(0,0)cast-help-comm(57,33)cast-mult-neg(12,6)intshiftrsign-pos-num(2,1)or-two-02(1,1)shiftzero-rec-neg-longer(21,12)
and-onel-01(2,1)band-011x-is-lastn(18,9)band-max-03(1,0)bitsand-onein(22,11)bitsxor-rec(0,0)cast-if(16,6)cast-mult-neg-01(3,2)intshiftrsign-rec-neg(28,15)or-two-03(1,1)shiftzero-rec-neg-shorter(28,15)
and-onel-02(1,1)band-011x-is-unsigned(18,9)band-max-04(4,2)bitsand-onel(0,0)bitsxor-rec-01(6,3)cast-law-absorption(12,7)cast-mult-neg-02(4,3)intshiftrsign-rec-pos(52,25)or-two-04(1,1)shiftzero-zero(5,3)
and-oner(1,1)band-011x-is-unsigned-01(6,3)band-max-05(1,0)bitsand-oner(0,0)bitsxor-rec-01-01(2,1)cast-law-add(3,3)cast-mult-pos(12,4)intshiftrsign-zero(1,1)or-two-05(1,1)shiftzero-zero-size(22,12)
and-oner-01(2,1)band-011x-is-unsigned-03(16,9)band-max-06(1,0)bitsand-rec(0,0)bitsxor-rec-02(2,1)cast-law-add-one(16,11)cast-neg-add(1,1)intshiftrsign-zero-01(2,1)or-two-06(1,1)shiftzero-zero-size-01(4,2)
and-ones(14,5)band-011x-is-unsigned-fix(19,10)band-min(78,37)bitsand-true(1,1)bitsxor-rec-03(2,1)cast-law-add-pos(21,14)cast-neg-add-01(4,2)intshiftrsign32(35,15)or-two-07(1,1)
and-onesin(23,11)band-011x-is-unsigned-fix-01(5,2)band-min-01(19,11)bitsand-zero-in(16,8)bitsxor-rec-04(2,1)cast-law-add-pos-01(17,10)cast-nls(2,1)intshiftrzero-def(0,0)or-two-08(1,1)
and-pos(1,0)band-011x-is-unsigned-fix-02(1,0)band-min-02(25,15)bitsand-zerol(0,0)bitsxor-zerol(0,0)cast-law-and-one(19,12)cast-nls-01(2,1)intshiftrzero-prop-01(50,26)rightshift-zero(11,6)
and-rec(7,4)band-011x-is-unsigned-fix-03(2,1)band-minus-one(2,1)bitsand-zeror(0,0)bitsxor-zeror(0,0)cast-law-comm(3,2)cast-one(5,3)intshiftzero-def-unbounded(2,2)shiftleft-01(0,0)
and-rec-01(2,1)band-011x-neg(20,8)band-mod256-neg(11,8)bitsand-zeros(16,7)bitsxor-zeros(18,9)cast-law-compl(7,6)cast-size-fits(12,5)intshiftzero-mone(7,4)shiftright-abs(3,2)
and-rec-02(2,1)band-011x-neg-01(2,1)band-mod256-pos(4,3)bitsand-zeros-01(12,5)bitsxor-zeros-01(2,1)cast-law-leftshift(3,3)cast-size-fits-01(11,6)longshiftleft(0,0)shiftright-is-le(9,4)
and-rec-03(2,1)band-011x-neg-02(2,1)band-neg(7,3)bitsand-zeros-02(6,2)bor-256-plus(3,3)cast-law-mult(3,3)cast-sub-2pot(4,3)longshiftright-2pot-pos(4,2)shiftright-minus-one(7,3)
and-rec-04(2,1)band-011x-neg-03(25,14)band-notneg(1,0)bitsor-app(17,9)bor-256-plus-01(3,3)cast-law-mult-one(17,12)cast-zero(2,1)longshiftright-def-unbounded(3,2)shiftright-neg-div(47,29)