src/HOL/Record.thy
changeset 39072 1030b1a166ef
parent 38539 3be65f879bcd
child 41229 d797baa3d57c