[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
   data types 
      List = []
           | . + .(. head : Elem;. tail : List)
           ;
   
   variables 
       x : List;
       y : List;
       z : List;
       n : Nat;
       a : Elem;
       head : Elem;
       tail : List;
   
   size functions 
       # . : List → Nat;
   
   order predicates 
       . < . : List × List;
   
end generic data specification