Quot/Nominal/Terms.thy
changeset 958 fd2493ae3df2
parent 957 080bd6f1607c
child 963 caed1462c951