Wed, 15 May 2013 11:21:39 +0800 chunhan remove duplicated pre-condition of current_files in OS_grant, since it is property if is_file/is_dir.
Fri, 10 May 2013 10:23:34 +0800 chunhan finish delete_prop.thy
(0) -2 +2 +10 +30 tip