index as type class

theories/algebra/agree.v

theories/algebra/big_op.v

theories/algebra/cmra.v

theories/algebra/cmra_big_op.v

theories/algebra/cofe_solver.v

theories/algebra/excl.v

theories/algebra/finite.v

theories/algebra/frac.v

theories/algebra/gmap.v

theories/algebra/local_updates.v

theories/algebra/monoid.v

theories/algebra/numbers.v

theories/algebra/ofe.v

theories/algebra/proofmode_classes.v

theories/algebra/truncation.v

theories/algebra/updates.v

theories/algebra/wf_IR.v

theories/stepindex/existential_properties.v

theories/stepindex/stepindex.v