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