src/Sequents/Sequents.thy
changeset 14854 61bdf2ae4dc5
parent 14765 bafb24c150c1
child 17481 75166ebb619b
equal deleted inserted replaced
14853:8d710bece29f 14854:61bdf2ae4dc5
    11 
    11 
    12 global
    12 global
    13 
    13 
    14 types
    14 types
    15   o 
    15   o 
    16 
       
    17 arities
       
    18   o :: logic
       
    19 
    16 
    20 
    17 
    21 (* Sequences *)
    18 (* Sequences *)
    22 
    19 
    23 types
    20 types