Nominal/Term5.thy
changeset 1461 c79bcbe1983d
parent 1458 9cb619aa933c
child 1462 7c59dd8e5435