[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 oarray-sort
instantiate parameter
   list-perm
< 
   olist-min-max
with 
   list-as-arrayinstance, 
   gen-tord
   
by mapping
      : list → array('a); 
      [] → []; 
      + → +; 
      # → #; 
      ' → '; 
      + → +; 
      + → +; 
      +2 → +2; 
      map → map; 
      .foldLeft → .foldLeft; 
      ++ → ++; 
      rmdup → rmdup; 
      rev → rev; 
      mklist → mklist; 
      fillfirst → fillfirst; 
      -l → -l; 
      -1l → -1l; 
      -p → -p; 
      pos → pos; 
      frome → frome; 
      ∪ → ∪; 
      \ → \; 
      filter → filter; 
      #oc → #oc; 
      < → <; 
      ∈ → ∈; 
      dups → dups; 
      disj → disj; 
      ⊑ → ⊑; 
      ⊒ → ⊒; 
      ⊆ → ⊆; 
      perm → perm; 
      ⊆m → ⊆m; 
      .head → .first; 
      .tail → .rest; 
      [ ] → ]; 
      [ ] → ]; 
      .last → .last; 
      .butlast → .butlast; 
      butlastn → butlastn; 
      firstn → firstn; 
      restn → restn; 
      lastn → lastn; 
      sublist → sublist; 
   rename 
      ins≤ → ins≤; 
      merge → merge; 
      sort → sort; 
      count → count; 
      filter → filter; 
      zip → zip; 
      ordered≤ → ordered≤; 
      ordered< → ordered<; 
      all< → all<; 
      all< → all<; 
      all≤ → all≤; 
      all≤ → all≤; 
      all> → all>; 
      all> → all>; 
      all≥ → all≥; 
      all≥ → all≥; 
      count → count; 
      min → min; 
      max → max; 
end instantiate