Nominal/Term1.thy
changeset 1452 31f000d586bb
parent 1446 a93f8df272de
child 1488 44e68ab6841e