Specification string

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

actualize
   list-del
with
   char
   
by morphism
   :Elem → Char; 
   :List → String; 
   [] → ""; 
    . + .  : (Elem × List → List) →  . + .  : (Char × String → String); 
   # .  → # . ; 
    . ' →  . '; 
    . + .  : (List × List → List) →  . + .  : (String × String → String); 
    . + .  : (List × Elem → List) →  . + .  : (String × Char → String); 
    . +2 .  →  . +2 . ; 
    . ++ .  →  . ++ . ; 
   rmdup → rmdup; 
   rev → rev; 
   mklist → mklist; 
   fillfirst → fillfirst; 
    . -l .  →  . -l . ; 
    . -1l .  →  . -1l . ; 
    . -p .  →  . -p . ; 
   pos → pos; 
   frome → frome; 
    . < .  : (List × List → Bool) → ⊏ prio 0; 
    . ∈ .  →  . ∈ . ; 
   dups → dups; 
   disj → disj; 
    . ⊑ .  →  . ⊑ . ; 
    . ⊒ .  →  . ⊒ . ; 
    . head →  . char1; 
    . tail →  . rstring; 
    . last →  . last; 
    . butlast →  . butlast; 
   butlastn → butlastn; 
    . ( . )  →  . ( . ) ; 
    . (. := .)  →  . (. := .) ; 
   firstn → firstn; 
   restn → restn; 
   lastn → lastn; 
   sublist → sublist; 
end actualize