Nominal/Ex/Classical.thy
changeset 2916 b55098314f83
parent 2914 db0786a521fd
child 2926 37c0d7953cba