src/HOL/Tools/datatype_abs_proofs.ML
changeset 10988 e0016a009c17
parent 10911 eb5721204b38
child 11435 bd1a7f53c11b