Nominal/Manual/Term3.thy
changeset 1858 d744b157dd2a
parent 1592 b679900fa5f6