Delete TreeDemo.thy~