[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 list-data
generic data specification
   

   
parameter
   elem

   using nat

   list = []
        | . + .(. .first : elem;. .rest : list)
        ;

   variables  x : list;
              y : list;
              z : list;
              x0 : list;
              y0 : list;
              z0 : list;
              x1 : list;
              y1 : list;
              z1 : list;
              x2 : list;
              y2 : list;
              z2 : list;

   size functions  # . : list → nat;

   order predicates  . < . : list × list;
end generic data specification