Add delete const (and delete type) to Candle #1343
Description
As requested by @konrad-slind. These features of HOL4 have not had their correctness/soundness argument properly checked.
{{ message }}
As requested by @konrad-slind. These features of HOL4 have not had their correctness/soundness argument properly checked.