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

Specification queue
rename list-del

by morphism : list → queue; [] → []; .first → head prio 0; .rest → pop prio 0; + → push prio 0; + → +; # → #; ' → '; + → +; + → +; ++ → ++; 
            rmdup → rmdup; .last → .last; .butlast → .butlast; butlastn → butlastn; rev → rev; mklist → mklist; fillfirst → fillfirst; -l → -l; 
            -1l → -1l; -1l → -1l; [ ] → [ ]; pos → pos; [ ] → [ ]; sublist → sublist; firstn → firstn; restn → restn; lastn → lastn; frome → frome; 
            < → <; ∈ → ∈; dups → dups; disj → disj; ⊑ → ⊑; ⊒ → ⊒; x → x; y → y; z → z; x0 → x0; y0 → y0; z0 → z0; x1 → x1; y1 → y1; z1 → z1; x2 → x2; 
            y2 → y2; z2 → z2;
end rename