[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 valuetypes
actualize list-perm

with value+type
by morphism : elem → valuetype; : list → valuetypes; [] → []; + → +; .first → .first; .rest → .rest; # → #; ' → '; + → +; + → +; + → +; ++ → ++; 
            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; 
            ∪ → ∪; \ → \; filter → filter; #oc → #oc; < → <; ∈ → ∈; dups → dups; disj → disj; ⊑ → ⊑; ⊒ → ⊒; ⊆ → ⊆; perm → perm; ⊆m → ⊆m; a → vt; 
            a0 → vt0; b → vt1; c → vt2; x → vts; x0 → vts0; y → vts1; z → vts2; y0 → vts3; z0 → vts4; x1 → vts5; y1 → vts6; z1 → vts7; x2 → vts8; 
            y2 → vts9; z2 → vts10;
end actualize