Nominal/Manual/Term8.thy
changeset 1828 f374ffd50c7c
parent 1592 b679900fa5f6
child 1937 ffca58ce9fbc