Thu, 16 May 2013 15:18:44 +0800 find bugs in deleted & inum_of_file
chunhan [Thu, 16 May 2013 15:18:44 +0800] rev 8
find bugs in deleted & inum_of_file
Wed, 15 May 2013 15:42:46 +0800 finally get cf2sfile path property done
chunhan [Wed, 15 May 2013 15:42:46 +0800] rev 7
finally get cf2sfile path property done
Wed, 15 May 2013 11:21:39 +0800 remove duplicated pre-condition of current_files in OS_grant, since it is property if is_file/is_dir.
chunhan [Wed, 15 May 2013 11:21:39 +0800] rev 6
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 finish delete_prop.thy
chunhan [Fri, 10 May 2013 10:23:34 +0800] rev 5
finish delete_prop.thy
(0) -4 +4 +10 +30 tip