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

a(2,0)app-in-end(4,2)empty-01(3,0)oc(3,0)ocnodups(7,1)ocs-same-length-mklist(12,5)perm-del-01(14,8)perm-rev(3,0)rec-01(2,1)subdel-02(2,1)
ad(7,3)app-in-in(4,2)filter(19,2)oc-adjoin(3,1)ocnodups-01(2,0)ocs-sw(17,8)perm-del-in(3,1)perm-rev-01(7,5)ref(3,1)subdel-03(4,2)
adjoin(6,3)c(7,0)in(3,0)oc-del(3,1)ocone(2,0)one(2,1)perm-dups(6,2)perm-rev-02(2,1)rest(5,2)subempty(2,1)
app-all-beg(5,1)cons(2,0)in-01(3,0)oc-del-01(5,2)ocs-del(2,0)one-01(3,1)perm-dups-01(3,1)perm-rmcommon-beg-beg(2,0)shift(2,0)subperm(3,1)
app-all-end(3,1)del(11,5)in-02(2,0)oc-del-02(3,1)ocs-del-del1(6,1)papp(2,0)perm-dups-02(3,1)perm-rmcommon-beg-end(2,0)shift-01(2,0)subperm-01(3,1)
app-attach(2,0)del-01(3,1)in-03(2,0)oc-diff(2,0)ocs-del-length(13,2)papp-01(2,0)perm-dups-03(3,1)perm-rmcommon-end-end(2,0)shift-02(11,0)subrec(19,4)
app-beg-all(2,0)del-02(11,5)in-04(2,0)oc-diff-01(13,2)ocs-del1(7,1)papp-02(5,2)perm-e(2,0)perm-rmdup-rev(7,5)shift-03(15,8)subrec-01(6,1)
app-beg-beg(7,1)del-04(20,6)in-05(5,1)oc-dups(7,1)ocs-del1-if(3,0)papp-03(8,3)perm-last-rec(8,5)perm-rmv-in(2,0)size-perm(11,2)subsize(16,7)
app-beg-end(7,1)del-05(7,2)in-put(12,3)oc-e(0,0)ocs-dups-ex(11,4)perm(0,0)perm-mklist(11,5)perm-rmv-in-list(8,6)sub-del(9,5)sym(4,2)
app-beg-in(2,0)del-in(2,0)in-sym(2,1)oc-filt(13,2)ocs-mklist(8,3)perm-all(14,5)perm-mklist-del(9,4)perm-same-prefix(2,1)subapp(5,1)sym-01(2,1)
app-end-all(2,0)del1(7,1)l(5,2)oc-filt-01(2,0)ocs-not-more(9,0)perm-com1(3,1)perm-one(2,1)perm-shift-in2(4,2)subapp-01(5,1)sym-02(2,1)
app-end-beg(2,1)del1-01(11,1)msubset(0,0)oc-n(0,0)ocs-put(17,3)perm-com2(3,1)perm-put(12,4)perm-shift-out2(4,2)subapp-02(6,2)trans(11,4)
app-end-end(7,1)delapp(14,5)neq(2,0)oc-y(0,0)ocs-put-01(17,3)perm-common-postfix(5,2)perm-put-del1(17,7)perm-swap(5,2)subapp-03(6,2)
app-end-in(2,1)diff(19,2)nodups(11,4)oc-zero(2,0)ocs-put-02(20,5)perm-common-prefix(5,2)perm-r(2,0)perm-switch(9,5)subdel(6,3)
app-in-beg(4,2)empty(2,0)notin(5,1)ocappend(8,1)ocs-same-length-all(11,7)perm-del(7,2)perm-rec(6,3)rec(2,0)subdel-01(9,4)