Nominal/Ex/Datatypes.thy
changeset 2671 eef49daac6c8
parent 2617 e44551d067e6
child 2777 75a95431cd8b