Nominal/Ex/Classical.thy
changeset 2227 42d576c54704
parent 2120 2786ff1df475
child 2308 387fcbd33820