Nominal/Ex/Weakening.thy
changeset 2976 d5ecc2f7f299
parent 2950 0911cb7bf696
child 3071 11f6a561eb4b
child 3190 1b7c034c9e9e