Nominal/Ex/TypeSchemes.thy
changeset 2417 fc12e208a9e2
parent 2337 b151399bd2c3
child 2424 621ebd8b13c4
equal deleted inserted replaced
2416:12283a96e851 2417:fc12e208a9e2