src/HOL/Typerep.thy
changeset 63915 bab633745c7f
parent 63352 4eaf35781b23
child 66330 dcb3e6bdc00a