Nominal/Manual/Term8.thy
changeset 3099 502b5f02edaf
parent 1937 ffca58ce9fbc
equal deleted inserted replaced
3098:3d9562921451 3099:502b5f02edaf