Nominal/Ex/Term8.thy
changeset 2124 a17b25cb94a6
parent 2097 60ce41a11180
child 2147 e83493622e6f