[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 directory-tree-inst
instantiate parameter
   store

< 
   store+set

with 
   directory-tree-base


   
by mapping
      : store → entries-tree; 
      : elem → string; 
      : data → directory-tree; 
      ∅ → ∅; 
      [ ] → ]; 
      # → #; 
      -- → --; 
      ∈ → ∈; 
      ⊆ → ⊆; 
      st → sdt; 
      st0 → sdt0; 
      st1 → sdt1; 
      st2 → sdt2; 
      a → str; 
      b → str0; 
      c → str1; 
      d → tree; 
      d0 → tree0; 
      d1 → tree1; 
      d2 → tree2; 
      [ ] → ]
   rename 
      :set → stringset; 
      ∅ → ∅; 
      ++ → ++; 
      # → #; 
      { } → { }; 
      ∪ → ∪; 
      ∩ → ∩; 
      \ → \; 
      -- → --; 
      \ → \; 
      | → |; 
      dom → dom; 
      ⊕ → ⊕; 
      ∈ → ∈; 
      ⊆ → ⊆; 
      ∈ → ∈; 
      s → strings; 
      s0 → strings0; 
      s1 → strings1; 
      s2 → strings2
end instantiate