LMCS-Paper/ROOT.ML
branchNominal2-Isabelle2012
changeset 3168 a6f3e1b08494
parent 2985 05ccb61aa628