Nominal/Ex/Weakening.thy
changeset 2951 d75b3d8529e7
parent 2950 0911cb7bf696
child 3071 11f6a561eb4b
child 3190 1b7c034c9e9e
equal deleted inserted replaced
2950:0911cb7bf696 2951:d75b3d8529e7