Attic/Quot/Examples/Terms.thy
branchNominal2-Isabelle2012
changeset 3168 a6f3e1b08494
parent 1260 9df6144e281b