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

Noassoc(1,1)diff-e(0,0)diff-wfrec(12,2)filter-all(9,2)filter-empty-in-01(1,0)in-01(1,0)notin-02(8,1)sub-01(1,0)subset-01(1,0)subset-one(1,1)
app(1,0)diff-empty(3,0)diff-y(0,0)filter-dups(4,0)filter-empty-one(1,1)in-01-01(16,1)onein-diff(1,0)sub-02(1,0)subset-01-01(1,0)subset-perm(1,1)
appsize(1,0)diff-empty-all(7,2)diffgetn-nodupssize(14,2)filter-empty(13,0)filter-empty-subset(2,1)in-02(1,0)onenotin-diff(6,1)sub-03(1,0)subset-app(1,1)subset-rec(10,4)
assoc(1,1)diff-empty-sub(2,2)diffone-nodupsget(18,2)filter-empty-01(1,1)filter-empty-subset-01(2,1)in-03(1,0)rax-01(1,0)sub-04(2,0)subset-app-01(1,1)subset-ref(1,1)
assocsize(1,0)diff-firstofapp(1,1)diffone-nodupssize(10,1)filter-empty-app(6,2)filter-notempty(4,1)in-04(1,0)rmdup(14,0)sub-05(2,0)subset-app-02(1,1)subset-rmdup(4,1)
commsize(2,1)diff-in(17,1)dups-app(5,2)filter-empty-app-01(1,0)filter-notin(8,0)in-05(1,0)rmdup-01(8,0)sub-06(2,0)subset-app-03(5,2)subset-trans(2,1)
del1(8,0)diff-in-one(1,0)empty(1,1)filter-empty-app-02(2,1)filter-one(1,0)in-06(1,0)rmdup-02(1,0)sub-07(2,0)subset-app-04(5,2)subsub(1,0)
del1-01(13,2)diff-n(0,0)empty-01(1,1)filter-empty-app-03(2,1)filter-one-01(2,1)insub(1,0)rmdup-size(1,0)sub-in(1,0)subset-append(5,2)subsub-01(1,0)
diff-app(1,1)diff-onenonmember(6,2)emptyunion(1,0)filter-empty-app-04(1,0)filter-one-02(2,1)insub-01(1,0)rotsize(2,1)sub-notin(2,0)subset-append-01(5,2)union(0,0)
diff-app-01(1,1)diff-same(1,1)f-rm(17,5)filter-empty-append(1,0)filter-rest(2,0)k-union-rec-n(2,1)size(4,2)sub-size(1,0)subset-append-02(15,6)union-twice(2,1)
diff-app-02(1,1)diff-twice-append(17,0)filt-dups(8,0)filter-empty-commutative(2,1)filter-rev-empty(5,2)k-union-rec-y(1,0)size-le(6,3)sub-size-01(2,1)subset-del(10,2)
diff-append(7,0)diff-twice-append-rev(17,0)filt-e(0,0)filter-empty-cons(7,3)firstin(1,0)le(11,5)size-nle(2,1)sub-size-02(2,1)subset-diff-union(4,3)
diff-consbothsame(1,1)diff-twice-union(18,0)filt-in(1,0)filter-empty-cons-01(1,0)firstinsub(1,0)nodups(1,0)size-nls(2,1)suband(12,3)subset-empty(1,1)
diff-consnotin2(8,2)diff-unchanged(16,2)filt-n(0,0)filter-empty-def(10,2)firstsub(1,0)notin(1,0)size-nls-01(2,1)subonein(1,0)subset-empty-01(4,2)
diff-dups(8,0)diff-union(36,15)filt-y(0,0)filter-empty-in(4,1)in(1,0)notin-01(8,1)sub(1,0)subset(0,0)subset-insert(1,1)