[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 array
with int-basic2
by morphism : elem → int; [ ] → [ ]; [ ] → [ ]; a → i; b → i0; c → i1;
end actualize