--- a/Delete_prop.thy	Fri May 10 10:23:34 2013 +0800
+++ b/Delete_prop.thy	Wed May 15 11:21:39 2013 +0800
@@ -1,4 +1,4 @@
-theory Deleted_prop
+theory Delete_prop
 imports Main Flask Flask_type Init_prop Alive_prop Current_files_prop
 begin