add missing explicit 'Global'

theories/barrier/example_joining_existentials.v

theories/barrier/proof.v

theories/concurrent_stacks/concurrent_stack2.v

theories/hocap/abstract_bag.v

theories/hocap/lib/oneshot.v

theories/lecture_notes/ccounter.v

theories/lecture_notes/modular_incr.v

theories/logatom/conditional_increment/cinc.v

theories/logatom/conditional_increment/spec.v

theories/logatom/elimination_stack/hocap_spec.v

theories/logatom/elimination_stack/spec.v

theories/logatom/elimination_stack/stack.v

theories/logatom/flat_combiner/atomic_sync.v

theories/logatom/flat_combiner/flat.v

theories/logatom/herlihy_wing_queue/hwq.v

theories/logatom/herlihy_wing_queue/spec.v

theories/logatom/rdcss/rdcss.v

theories/logatom/rdcss/spec.v

theories/logatom/snapshot/atomic_snapshot.v

theories/logatom/snapshot/spec.v