Nominal/Manual/Term1.thy
changeset 1732 6eaae2651292
parent 1592 b679900fa5f6