Nominal/nominal_termination.ML
branchNominal2-Isabelle2011-1
changeset 3072 7eb352826b42
parent 3068 f89ee40fbb08