Nominal/Ex/BetaCR.thy
branchNominal2-Isabelle2012
changeset 3171 f5057aabf5c0
parent 3085 25d813c5042d