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) -3 +3 +10 +30 tip