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