[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 gen-command-list
actualize list-last

with gen-commands
by morphism : list → commandlist; : elem → command; [] → []; + → +; .first → .first; .rest → .rest; # → #; ' → '; + → +; + → +; + → +; ++ → ++; 
            rmdup → rmdup; .last → .last; .butlast → .butlast; butlastn → butlastn; rev → rev; mklist → mklist; fillfirst → fillfirst; < → <; ∈ → ∈; 
            dups → dups; disj → disj; ⊑ → ⊑; ⊒ → ⊒; x → cl; x0 → cl0; x1 → cl1; y → cl2; z → cl3; y0 → cl4; z0 → cl5; y1 → cl6; z1 → cl7; x2 → cl8; 
            y2 → cl9; z2 → cl10; a → co; a0 → co0; b → co1; c → co2;
end actualize