Nominal/Ex/TypeSchemes2.thy
branchNominal2-Isabelle2012
changeset 3171 f5057aabf5c0
parent 3104 f7c4b8e6918b
child 3183 313e6f2cdd89