Nominal/Ex/BetaCR.thy
changeset 3107 e26e933efba0
parent 3085 25d813c5042d