src/HOL/Tools/rewrite_hol_proof.ML
changeset 19046 bc5c6c9b114e
parent 15570 8d8c70b41bab
child 19798 94f12468bbba