Nominal/Manual/Term8.thy
changeset 2953 80f01215d1a6
parent 1937 ffca58ce9fbc