show deleted premises in super-coq.