Nominal/Term2.thy
changeset 1476 e911dae20737
parent 1288 0203cd5cfd6c