Delete assoc.thy