1 session "dynamic" = "HOL" +

     2   options [document = false]

     3   theories

     4     List_Prefix

     5     My_list_prefix

     6     File_renaming

     7     Flask_type

     8     OS_type_def

     9     Flask

    10 

    11 

    12 session "alive" = "dynamic" + 

    13   options [document = false]

    14   theories

    15     Static_type

    16     Static

    17     Valid_prop

    18     Init_prop

    19     Current_files_prop

    20     Current_sockets_prop

    21     Alive_prop

    22     Proc_fd_of_file_prop

    23     Finite_current

    24     New_obj_prop

    25 

    26 session "co2sobj" = "alive" + 

    27   options [document = false]

    28   theories

    29     Sectxt_prop

    30     Delete_prop

    31     Tainted_prop

    32     Co2sobj_prop

    33 

    34 session "s2ss" = "co2sobj" +

    35   options [document = false]

    36   theories

    37     S2ss_prop

    38     S2ss_prop2