Nominal/Ex/SFT/Consts.thy
changeset 3212 0f76f481dbb5
parent 3175 52730e5ec8cb
child 3235 5ebd327ffb96