(* $Id$ *)

(* Programmable destruction of hypotheses and conclusions. *)