src/HOL/Tools/datatype_rep_proofs.ML
changeset 20328 5b240a4216b0
parent 20071 8f3e1ddb50e6
child 20820 58693343905f