diff -r 0c209a3e2647 -r 8779d321cc2e Delete_prop.thy
--- 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