author | chunhan |
Sun, 09 Jun 2013 14:28:58 +0800 (2013-06-09) | |
changeset 23 | 25e55731ed01 |
parent 11 | 3e7617baa6a3 |
child 34 | e7f850d1e08e |
permissions | -rw-r--r-- |
session "dynamic" = "HOL" + options [document = false] theories List_Prefix My_list_prefix File_renaming Flask_type OS_type_def Flask session "alive" = "dynamic" + options [document = false] theories Static_type Static Valid_prop Init_prop Current_files_prop Current_sockets_prop Alive_prop Proc_fd_of_file_prop Finite_current New_obj_prop