Nominal/Term5a.thy
changeset 1461 c79bcbe1983d
parent 1362 e72d9d9eada3