Nominal/Nominal2_Abs.thy
changeset 3146 556fcd0e5fcb
parent 3104 f7c4b8e6918b
child 3152 da59c94bed7e
equal deleted inserted replaced
3145:31bc3e2e80bf 3146:556fcd0e5fcb