src/HOL/Tools/datatype_rep_proofs.ML
changeset 19046 bc5c6c9b114e
parent 18728 6790126ab5f6
child 19346 c4c003abd830