Nominal/Ex/Shallow.thy
changeset 2666 324a5d1289a3
parent 2634 3ce1089cdbf3
child 2950 0911cb7bf696
equal deleted inserted replaced
2665:16b5a67ee279 2666:324a5d1289a3