Nominal/Manual/Term4.thy
changeset 1805 f187f20f0a79
parent 1592 b679900fa5f6
child 1848 acacc448f9ea