Nominal/Nominal2_Abs.thy
changeset 2705 67451725fb41
parent 2683 42c0d011a177
child 2712 c66d288b9fa0