Delete invariant.thy