src/HOL/Tools/rewrite_hol_proof.ML
changeset 23075 69e30a7e8880
parent 22277 b89dc456dbc6
child 26636 65343a5ac627