Nominal/Term2.thy
changeset 1446 a93f8df272de
parent 1288 0203cd5cfd6c