Nominal/Manual/Term8.thy
changeset 1888 59f41804b3f8
parent 1592 b679900fa5f6
child 1937 ffca58ce9fbc