Nominal/Ex/NoneExamples.thy
changeset 2309 13f20fe02ff3
parent 2083 9568f9f31822
child 2436 3885dc2669f9
equal deleted inserted replaced
2308:387fcbd33820 2309:13f20fe02ff3