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