Nominal/Ex/BetaCR.thy
changeset 3207 d3f7c8cce53b
parent 3085 25d813c5042d