[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 list-del

app(4,0)delpos-atsizeid(1,0)firstN-in-03(1,1)firstn-one-02(1,0)get-mklist(3,2)lastN-in(2,1)one(1,1)putset-same(8,1)restn-nonempty-2(8,2)sublist-def(0,0)
app-01(4,0)delpos-base(0,0)firstN-in-04(1,0)firstn-prefix(8,2)get-mklist-01(8,5)lastN-in-01(2,1)one-01(1,1)rest-app(6,1)restn-prefix(1,0)sublist-empty(1,0)
app-05(4,0)delpos-empty(0,0)firstN-in-05(1,0)firstn-prefix-01(3,1)get-nodups(16,4)lastN-rec(0,0)one-01-01(2,1)rest-append(2,1)restn-rest(4,1)sublist-first-skip(6,2)
app-05-neg(4,0)delpos-in(6,1)firstN-lastN(12,3)firstn-prefix-02(2,1)get-numrec(3,0)lastN-rec-01(1,0)one-03(1,1)rest-empty(1,0)restn-restn(1,0)sublist-firsteq(2,1)
append-mod(10,0)delpos-rec(0,0)firstN-lastN-in(5,4)firstn-prefix-03(2,1)get-rec(2,0)lastN-rec-02(1,0)pos-e(0,0)rest-in(2,0)restn-size-last(3,1)sublist-good(1,0)
at-last(10,2)dups(6,0)firstN-lastN-in-01(2,1)firstn-prefix-04(4,1)get-rec-01(2,0)lastN-rest(2,0)pos-equal(6,2)rest-in-01(1,0)rmdup-del1-del(19,4)sublist-last(8,2)
blastN-firstN(10,4)dups-01(6,0)firstN-len(3,0)firstn-restn(1,0)get-restn(6,0)lastN-rest-01(2,0)pos-get(10,3)rest-len(7,0)rmdup-last(19,5)sublist-length(1,0)
del-append(7,0)dups-def(18,9)firstN-num-rec(3,0)firstn-restn-01(1,0)get-succ(0,0)lastN-zero(0,0)pos-get-01(1,1)rest-mklist(2,0)rmpos-get(22,4)sublist-length-01(1,0)
del-del(7,0)dups-first-last-split(1,1)firstN-rec(0,0)firstn-restn-eq(6,1)get-zero(2,0)lastn-app(16,4)pos-n(0,0)rest-mklist-01(2,1)rmpos-in(36,6)sublist-lenrec(6,2)
del-del1-nodups(6,0)elim-firstn-restn(1,0)firstN-rec-01(2,0)firstn-restn-in(8,1)get-zero-01(0,0)lastn-firstn-in(1,0)pos-one(1,1)rest-mklist-02(1,1)rmpos-size(10,2)sublist-lenrec-01(8,0)
del-del1-switch(10,0)elim-lastn-butlastn(4,2)firstN-zero(0,0)firstn-twice(8,2)in(8,0)lastn-firstn-in-01(1,0)pos-y(0,0)rest-mklist-03(3,3)rmtoobigpos(6,1)sublist-mklist(2,0)
del-e(0,0)extension(10,4)firstn-allprefix(2,1)firstn-two(1,0)in-01(8,0)lastn-lastn(5,2)possize-notin(2,0)rest-mklist-04(3,1)size-del-nodups(8,1)sublist-mklist-01(2,1)
del-length(8,1)first-all(1,1)firstn-app(3,1)firstrestex(6,1)in-01-01(6,0)lastn-lastn-01(12,4)put-app-left(7,2)rest-one(1,1)size-rmdup-del(20,4)sublist-mklist-02(1,0)
del-n(0,0)first-all-01(1,0)firstn-app-01(2,0)from-notin(4,0)in-02(8,0)lastn-length(5,2)put-app-right(6,0)rest-one-01(1,1)st(2,1)sublist-move(22,6)
del-n-simp(2,0)first-append(6,1)firstn-app-02(2,0)from-rest(4,0)in-02-01(4,0)lastn-length-01(1,0)put-at(15,4)rest-rec(2,1)sub-len(1,0)sublist-not-empty(1,0)
del-one-simp(3,1)first-append-01(2,1)firstn-app-exact(1,0)fromE-empty(0,0)in-03(4,0)lastn-mklist(10,3)put-at-eq(7,2)rest-rest1(1,1)sub-len-01(1,0)sublist-not-empty-01(1,0)
del-rev(12,3)first-length(3,0)firstn-append(8,2)fromE-no(0,0)in-04(6,0)lastn-mklist-01(1,0)put-butlast(1,0)rest-sub(8,1)sub-rec(1,0)sublist-not-empty-02(1,0)
del-rev-01(1,1)first-mklist(12,4)firstn-append-01(17,5)fromE-yes(0,0)in-05(1,0)lastn-mklist-02(1,1)put-del1-in(9,3)rest-two(1,1)sub-rec-01(1,0)sublist-num(2,0)
del-rmdup(18,2)first-mklist-01(2,1)firstn-at-in-dups(7,4)get(4,0)in-del(1,0)lastn-mklist-03(1,1)put-firstn-restn(16,5)rest-two-01(1,1)sub-zero(1,0)sublist-num-01(3,0)
del-rmdup-01(1,1)first-mklist-02(1,1)firstn-butlast(17,3)get-add-num(3,0)in-del-new(1,0)lastn-neq(1,0)put-in(7,3)restN-all(1,1)sub-zerolen(1,0)sublist-one(1,0)
del-rmdup-length-nle(4,2)first-mklist-03(2,2)firstn-butlast-intro(2,1)get-app(3,0)in-get(4,2)lastn-neq-01(5,3)put-in-01(13,4)restN-append(6,1)sub-zerolen-01(1,0)sublist-one-01(1,0)
del-y(0,0)first-mklist-04(1,1)firstn-first(6,1)get-app-1(1,1)inl(4,0)lastn-neq-02(2,1)put-in-02(7,2)restN-dups(8,1)sub-zerolen-02(1,0)sublist-part(8,2)
del1-del(5,1)first-num(3,0)firstn-firstn(12,2)get-append-grt(6,0)inl-01(2,0)lastn-neq-04(1,0)put-last(2,1)restN-len(1,1)sub-zerorec(1,0)sublist-prefix(14,4)
del1-del-switch(10,0)first-sub(1,0)firstn-last(10,0)get-append-grt-02(1,1)l(8,1)lastn-one(1,1)put-length(8,2)restN-rec(0,0)sub-zerorec-01(1,0)sublist-rec(2,0)
del1-e(0,0)firstN-dups(2,1)firstn-last-01(16,5)get-append-less(8,2)l-01(2,0)lastn-one-01(1,0)put-one(1,1)restN-zero(0,0)sub-zerozero(1,0)sublist-rec-01(2,0)
del1-empty(4,1)firstN-dups-01(2,1)firstn-last-eq(6,2)get-butlast(10,1)l-02(6,0)lastn-rec(2,0)put-one-01(1,1)restn-apprec(3,0)sublist-all(1,0)sublist-restn(1,0)
del1-first(2,0)firstN-dups-02(2,1)firstn-last-rec(9,1)get-firstn(11,2)lastN-all(2,1)lastn-restn(10,3)put-rec(4,0)restn-at(3,2)sublist-append(1,0)sublist-restn-01(1,0)
del1-in(1,0)firstN-dups-03(2,1)firstn-length(1,0)get-in(8,2)lastN-append(1,0)lastn-restn-01(11,4)put-rec-01(4,0)restn-empty(7,2)sublist-append-01(6,0)sublist-restn-02(2,1)
del1-n(0,0)firstN-dups-04(6,1)firstn-length-01(2,1)get-last(4,0)lastN-append-01(6,2)len(1,0)put-rec-02(2,0)restn-first-get(7,2)sublist-append-01-01(1,0)sublist-two-num(2,0)
del1-y(0,0)firstN-dups-05(2,1)firstn-length-02(2,1)get-last-01(4,0)lastN-blastN(11,5)len-01(6,0)put-same(1,0)restn-firstn(8,1)sublist-append-02(2,0)sw(13,0)
delete-dups(6,0)firstN-empty(2,1)firstn-length-03(1,0)get-last-03(1,1)lastN-dups(3,2)list-select-not-first(1,0)put-succ(0,0)restn-firstn-better(8,1)sublist-append-02-01(1,0)sw-01(2,1)
delete-one-le(1,0)firstN-in(2,0)firstn-length-04(1,0)get-last-04(9,3)lastN-dups-01(2,1)nodups-rmposnodups(10,2)put-sw-in(15,5)restn-last(9,2)sublist-append-03(1,0)sw-02(12,1)
delete-one-nls(5,1)firstN-in-01(1,1)firstn-one(1,0)get-last-nonempty(6,2)lastN-empty(2,1)notin-03(4,0)put-zero(0,0)restn-less(8,0)sublist-append-04(18,5)weak-firstN-rec(1,0)
delnr-one(1,1)firstN-in-02(1,1)firstn-one-01(1,0)get-last2(3,0)lastN-ex(8,4)num-lastN(3,0)put-zero-01(2,0)restn-nonempty(10,2)sublist-at(2,1)weak-restN-rec(1,0)