ROOT
changeset 11 3e7617baa6a3
parent 1 7d9c0ed02b56
child 34 e7f850d1e08e
equal deleted inserted replaced
10:ac66d8ba86d9 11:3e7617baa6a3
    10 
    10 
    11 
    11 
    12 session "alive" = "dynamic" + 
    12 session "alive" = "dynamic" + 
    13   options [document = false]
    13   options [document = false]
    14   theories
    14   theories
       
    15     Static_type
       
    16     Static
    15     Valid_prop
    17     Valid_prop
    16     Init_prop
    18     Init_prop
    17     Current_files_prop
    19     Current_files_prop
    18     Current_sockets_prop
    20     Current_sockets_prop
    19     Alive_prop
    21     Alive_prop