--- a/ROOT	Tue May 21 08:01:33 2013 +0800
+++ b/ROOT	Tue May 21 10:19:51 2013 +0800
@@ -12,6 +12,8 @@
 session "alive" = "dynamic" + 
   options [document = false]
   theories
+    Static_type
+    Static
     Valid_prop
     Init_prop
     Current_files_prop
@@ -19,4 +21,4 @@
     Alive_prop
     Proc_fd_of_file_prop
     Finite_current
-    New_obj_prop
\ No newline at end of file
+    New_obj_prop