Nominal/Term2.thy
changeset 1334 80441e27dfd6
parent 1288 0203cd5cfd6c