Specification string2list

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

enrich
   charlist
with
   

   
   
   functions  s→l : string → charlist;
              l→s : charlist → string;
   
   
   
   
   

   

   axioms s2l-empty :  ⊦ s→l("") = [];
          used for: s, ls;
          s2l-rec :  ⊦ s→l(char ' + str) = char ' + s→l(str);
          used for: s, ls;
          l2s-empty :  ⊦ l→s([]) = "";
          used for: s, ls;
          l2s-rec :  ⊦ l→s(char ' + chars) = char + l→s(chars);
          used for: s, ls;

   

   
end enrich