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     Valid_prop

    16     Init_prop

    17     Current_files_prop

    18     Current_sockets_prop

    19     Alive_prop

    20     Proc_fd_of_file_prop

    21     Finite_current

    22     New_obj_prop