Nominal/Eqvt.thy
branchNominal2-Isabelle2015
changeset 3241 ece7f031708c
parent 2734 eee5deb35aa8