Nominal/Term1.thy
changeset 1481 401b61d1bd8a
parent 1446 a93f8df272de
child 1488 44e68ab6841e