[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 successors
actualize
   store+set

with
   ref

by morphism
   :store → successors; 
   :data → ref; 
   :elemdata → elemref; 
   ∅ → ∅; 
   × → ×; 
   ] → ]; 
   ] → ]; 
   # → #; 
   -- → --; 
   \ → \; 
   dom → dom; 
   ∈ → ∈; 
   ∈ → ∈; 
   ⊆ → ⊆; 
   ∈ → ∈; 
   st → succ; 
   st0 → succ0; 
   st1 → succ1; 
   st2 → succ2; 
   d → r; 
   d0 → r0; 
   d1 → r1; 
   d2 → r2; 
   elemdatavar → elemrefvar
end actualize