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