Nominal/Ex/Classical.thy
changeset 2941 40991ebcda12
parent 2926 37c0d7953cba
child 2943 09834ba7ce59