--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/S2ss_prop.thy	Wed Aug 28 08:59:12 2013 +0800
@@ -0,0 +1,7 @@
+(*<*)
+theory S2ss_prop
+imports Main Flask Flask_type Static Static_type Init_prop Tainted_prop Valid_prop Alive_prop Co2sobj_prop
+begin
+(*>*)
+
+context tainting_s begin
\ No newline at end of file