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
Thu, 09 May 2013 11:19:44 +0800 fixed bugs in deleted definition
chunhan [Thu, 09 May 2013 11:19:44 +0800] rev 4
fixed bugs in deleted definition
(0) -2 +2 +10 +30 tip