Nominal/Ex/Classical.thy
changeset 2139 dff8bd922812
parent 2120 2786ff1df475
child 2308 387fcbd33820
equal deleted inserted replaced
2138:2e514a0aca63 2139:dff8bd922812